We use cookies to improve your experience with our site.

A Logical Framework for Knowledge Base Maintenance
Automatic Construction of Finite Algebras
Denotational Semantics of a Simple Model of Eiffel
A Formal Semantics for DAI Language NUML
S-and T-Invariants in Cyber Net Systems
Nonuniform Lowness and Strong Nonuniform Lowness
Putting Consistent Theories Together in Institutions
Institutions of Variable Truth Values:An Approach in the Ordered Style
A Three-Stage Knowledge Acquisition Method
Head Boundedness of Nonterminating Rewritings
An Algebraic Characterization of Inductive Soundness in Proof by Consistency
Current Issue Cover