Search
Selected: All

(HO)RPO Revisited

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Better Reduction Theorem for Store Buffers

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A calculus for costed computations

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Calculus for Generating Ground Explanations (Technical Report)

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Calculus of Consistent Component-based Software Updates

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Categorical Model for the Lambda Calculus with Constructors

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Categorical View on Algebraic Lattices in Formal Concept Analysis

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Characterisation of First-Order Constraint Satisfaction Problems

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A CHR-based Implementation of Known Arc-Consistency

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Classification of Symbolic Transition Systems

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Cloning Pushout Approach to Term-Graph Transformation

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Coalgebraic Approach to Kleene Algebra with Tests

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Coding Theoretic Study on MLL proof nets

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Coinductive Calculus for Asynchronous Side-effecting Processes

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A coinductive semantics of the Unlimited Register Machine

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A comparison between two logical formalisms for rewriting

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0
  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.