Classification of the Computable Approximations by Divergence Boundings 1 Fulltext Access 20 Pages 2007
On decidability of monadic logic of order over the naturals extended by monadic predicates Fulltext Access 20 Pages 2007
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting 1 Fulltext Access 20 Pages 2007
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions Fulltext Access 20 Pages 2007
The maximum agreement forest problem: Approximation algorithms and computational experiments Fulltext Access 20 Pages 2007
Shrinkings, structures at infinity and affine expansions, with an application to cc-extended PP- and TT-geometries Fulltext Access 21 Pages 2007
Mixing logics and rewards for the component-oriented specification of performance measures Fulltext Access 21 Pages 2007
A comparison of simulated annealing with a simple evolutionary algorithm on pseudo-boolean functions of unitation Fulltext Access 21 Pages 2007
Hardness and approximation results for Black Hole Search in arbitrary networks Fulltext Access 21 Pages 2007
Timed Concurrent Constraint Programming for Analysing Biological Systems Fulltext Access 21 Pages 2007
Skew Hadamard difference sets from the Ree–Tits slice symplectic spreads in PG(3,32h+1) Fulltext Access 21 Pages 2007
Classification of the factorial functions of Eulerian binomial and Sheffer posets Fulltext Access 21 Pages 2007
Transformation for Refining Unraveled Conditional Term Rewriting Systems Fulltext Access 21 Pages 2007
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication Fulltext Access 21 Pages 2007
A combinatorial proof of the reduction formula for Littlewood–Richardson coefficients Fulltext Access 21 Pages 2007
Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption 1 Fulltext Access 21 Pages 2007
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications Fulltext Access 22 Pages 2007
Transitive bislim geometries of gonality 3, part I: The geometrically homogeneous cases Fulltext Access 22 Pages 2007
The algebra of metric betweenness I: Subdirect representation and retraction Fulltext Access 22 Pages 2007
Symmetric functions, generalized blocks, and permutations with restricted cycle structure Fulltext Access 22 Pages 2007
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case Fulltext Access 22 Pages 2007
What is Itanium Memory Consistency from the Programmer's Point of View? Fulltext Access 22 Pages 2007
Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I Fulltext Access 22 Pages 2007
Three-manifolds with Heegaard genus at most two represented by crystallisations with at most 42 vertices Fulltext Access 22 Pages 2007
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads Fulltext Access 22 Pages 2007
Primitive Recursiveness of Real Numbers under Different Representations Fulltext Access 22 Pages 2007
An analytical approach to the inference of summary data of additive type Fulltext Access 22 Pages 2007
Balanced allocation and dictionaries with tightly packed constant size bins Fulltext Access 22 Pages 2007