Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Get full text

Equality Saturation: A New Approach to Optimization

Get full text

Functional Interpretations of Intuitionistic Linear Logic

Get full text

From coinductive proofs to exact real arithmetic: theory and applications

Get full text

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

Get full text

A calculus for costed computations

Get full text

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

Get full text

Generic Modal Cut Elimination Applied to Conditional Logics

Get full text

Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo

Get full text

Semantics of Typed Lambda-Calculus with Constructors

Get full text

Algebraic Notions of Termination

Get full text

On Constructive Connectives and Systems

Get full text

On the meaning of logical completeness

Get full text

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

Get full text

The complexity of linear-time temporal logic over the class of ordinals

Get full text

A Logical Foundation for Environment Classifiers

Get full text

Bounded Linear Logic, Revisited

Get full text

An Explicit Framework for Interaction Nets

Get full text

Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance

Get full text

The complexity of global cardinality constraints

Get full text