Clausal logic and logic programming in algebraic domains
Information and Computation
Nonmonotonic consequences in default domain theory
Annals of Mathematics and Artificial Intelligence
Logical considerations on default semantics
Annals of Mathematics and Artificial Intelligence
Sequents, Frames, and Completeness
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
Theoretical Computer Science
On an open problem of Amadio and Curien: the finite antichain condition
Information and Computation
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Fundamenta Informaticae
Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)
Mediating secure information flow policies
Information and Computation
Various Constructions of Continuous Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Information systems revisited – the general continuous case
Theoretical Computer Science
Closures in Binary Partial Algebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
On an open problem of Amadio and Curien: The finite antichain condition
Information and Computation
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Using SPARQL to test for lattices: application to quality assurance in biomedical ontologies
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Fundamenta Informaticae
Representations of Algebraic Domains and Algebraic L-domains by Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A categorical representation of algebraic domains based on variations of rough approximable concepts
International Journal of Approximate Reasoning
| Hi-index | 0.00 |