We use cookies to improve your experience with our site.
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
Advanced Search
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
PACS
EEACC
Select articles
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
Cover Articles
Top Cited Papers
Top Most Read
Download Templates
Datasets & Toolsets
×
Close
Export File
Citation
Format
RIS(for EndNote,Reference Manager,ProCite)
BibTex
Txt
Content
Citation Only
Citation and Abstract
×
Close
Citation