Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories

Get full text

Positive Supercompilation for a Higher-Order Call-By-Value Language

Get full text

Automated Verification of Practical Garbage Collectors

Get full text

Spatial logics with connectedness predicates

Get full text

Automatic Modular Abstractions for Template Numerical Constraints

Get full text

Classical BI: Its Semantics and Proof Theory

Get full text

Lazy Evaluation and Delimited Control

Get full text

Size-Change Termination, Monotonicity Constraints and Ranking Functions

Get full text

Transforming Outermost into Context-Sensitive Rewriting

Get full text

Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules

Get full text

Analytic Tableaux for Simple Type Theory and its First-Order Fragment

Get full text

On the Monadic Second-Order Transduction Hierarchy

Get full text

Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories

Get full text

Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies

Get full text

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases

Get full text

Weighted Logics for Nested Words and Algebraic Formal Power Series

Get full text

Guarded Second-Order Logic, Spanning Trees, and Network Flows

Get full text

Bifinite Chu Spaces

Get full text

O-Minimal Hybrid Reachability Games

Get full text

A Graph Model for Imperative Computation

Get full text