An efficient simulation algorithm based on abstract interpretation
An Ehrenfeucht-Fraisse Game Approach to Collapse Results in Database Theory
An Elementary Fragment of Second-Order Lambda Calculus
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
An Emptiness Algorithm for Regular Types with Set Operators
An Evidential Path Logic for Multi-Relational Networks
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
An Explicit Framework for Interaction Nets
An Explicit Solution to Post's Problem over the Reals
An ExpTime Procedure for Description Logic $\mathcal{ALCQI}$ (Draft)
An extension of data automata that captures XPath
An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version)
An Implementation of Nested Pattern Matching in Interaction Nets
An Implicit Characterization of PSPACE
An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning
An Incremental Knowledge Compilation in First Order Logic
An interactive semantics of logic programming
An interface group for process components
An Interpretation of Belief Functions by means of a Probabilistic Multi-modal Logic