Short paths in quasi-random triple systems with sparse underlying graphs Fulltext Access 24 Pages 2006
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language Fulltext Access 25 Pages 2006
Marcus t-contextual grammars and cut hierarchies and monotonicity for restarting automata Fulltext Access 25 Pages 2006
A characterization theorem for injective model classes axiomatized by general rules Fulltext Access 25 Pages 2006
Boolean operations and inclusion test for attribute–element constraints Fulltext Access 25 Pages 2006
Interfaces as functors, programs as coalgebras—A final coalgebra theorem in intensional type theory Fulltext Access 25 Pages 2006
The HASCASL prologue: Categorical syntax and semantics of the partial λ-calculus Fulltext Access 25 Pages 2006
Complete axiomatization and decidability of Alternating-time temporal logic Fulltext Access 25 Pages 2006
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation Fulltext Access 25 Pages 2006
Towards imperative modules: Reasoning about invariants and sharing of mutable state Fulltext Access 26 Pages 2006
Testing against a non-controllable stream X-machine using state counting Fulltext Access 26 Pages 2006
Haruspicy 2: The anisotropic generating function of self-avoiding polygons is not D-finite Fulltext Access 27 Pages 2006
Towards Hilbert's 24th Problem: Combinatorial Proof Invariants: (Preliminary version) Fulltext Access 27 Pages 2006
A stabilized column generation scheme for the traveling salesman subtour problem Fulltext Access 27 Pages 2006
Practical Datatype Specializations with Phantom Types and Recursion Schemes Fulltext Access 27 Pages 2006
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems Fulltext Access 27 Pages 2006
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus Fulltext Access 27 Pages 2006
Ordered term tree languages which are polynomial time inductively inferable from positive data Fulltext Access 28 Pages 2006
Variables as Resource for Shared-Memory Programs: Semantics and Soundness Fulltext Access 28 Pages 2006
Name-passing in an ambient-like calculus and its proof using spatial logic Fulltext Access 28 Pages 2006
Sequential and parallel algorithms for the NCA problem on pure pointer machines Fulltext Access 28 Pages 2006