Alternating Automata on Data Trees and XPath Satisfiability
Alternating Timed Automata
Alternative axiomatics and complexity of deliberative STIT theories
Amortised Resource Analysis with Separation Logic
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
An abstract view on syntax with sharing
An affine-intuitionistic system of types and effects: confluence and termination
An affine-intuitionistic system of types and effects: confluence and termination
An algebra of automata which includes both classical and quantum entities
An Algebra of Synchronous Scheduling Interfaces
An Algebraic Specification of the Semantic Web
An algorithmic approximation of the infimum reachability probability for Probabilistic Finite Automata
An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning
An Analysis of Lambek's Production Machines
An Application of the Feferman-Vaught Theorem to Automata and Logics for<br> Words over an Infinite Alphabet
An applicative theory for FPH
An Asynchronous Automata Approach to the Semantics of Temporal Logic
An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables
An Effective Extension of the Wagner Hierarchy to Blind Counter Automata
An Efficient Explicit-time Description Method for Timed Model Checking