A tableau methodology for deontic conditional logics
A Test Automation Framework for Mercury
A Testing Framework for P Systems
A theorem proving framework for the formal verification of Web Services Composition
A Theory and Calculus for Reasoning about Sequential Behavior
A Theory of Computation Based on Quantum Logic (I)
A theory of desynchronisable closed loop system
A theory of normed simulations
A Theory of Sampling for Continuous-time Metric Temporal Logic
A thread calculus with molecular dynamics
A Tight Lower Bound for Streett Complementation
A TLA+ Proof System
A Transformation-based Implementation for CLP with Qualification and Proximity
A Transformation-based Implementation for CLP with Qualification and Proximity
A Transformational Decision Procedure for Non-Clausal Propositional Formulas
A Translational Approach to Constraint Answer Set Solving
A Tree Logic with Graded Paths and Nominals
A triangle-based logic for affine-invariant querying of spatial and spatio-temporal data
A two-level logic approach to reasoning about computations
A type reduction theory for systems with replicated components