An Introduction to Time-Constrained Automata
An Invariant Cost Model for the Lambda Calculus
An Isabelle formalization of protocol-independent secrecy with an application to e-commerce
An object evaluator to generate flexible applications
An omega-Power of a Finitary Language Which is a Borel Set of Infinite Rank
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
An Operational Foundation for Delimited Continuations in<br><br> the<br><br><br> CPS<br><br> Hierarchy
An optimal construction of Hanf sentences
An Optimal Decision Procedure for MPNL over the Integers
An Optimization for Reasoning with Forest Logic Programs
Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
Analysis of Boolean Equation Systems through Structure Graphs
Analysis of Non-Linear Probabilistic Hybrid Systems
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Analyzing Graph Transformation Systems through Constraint Handling Rules
Antichains for the Automata-Based Approach to Model-Checking
Applications of Intuitionistic Logic in Answer Set Programming
Applications of Metric Coinduction