A Type System for Required/Excluded Elements in CLS
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
A Type System for Tom
A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY
A type-based termination criterion for dependently-typed higher-order rewrite systems
A User's Guide to Zot
A zonotopic framework for functional abstractions
Abduction in Well-Founded Semantics and Generalized Stable Models
Abduction with Penalization in Logic Programming
About Algorithm for Transformation of Logic Functions (ATLF)
Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
Abstract Canonical Inference
Abstract Computability, Algebraic Specification and Initiality
Abstract Interpretation for Probabilistic Termination of Biological Systems
Abstract machines for dialogue games
Abstract Processes of Place/Transition Systems
Abstract versus Concrete Computation on Metric Partial Algebras
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols
Acceptable Complexity Measures of Theorems
Ackermann Encoding, Bisimulations, and OBDDs