Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Franck van Breugel
A Labelled Transition System for Πε-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Simple Distributed Reasoning System for the Connection Calculus
Vietnam Journal of Computer Science
Dag-Calculus: A Calculus for Parallel Computation
A Generative Dialogue System for Arguing About Plans in Situation Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pi+-Calculus: A Calculus for Concurrent Processes With Constraints
CLEI Electronic Journal
Phase Transition for a Hard Sphere System
Journal of Chemical Physics
Medicine
Theoretical Chemistry
Astronomy
Physics
Physical
A Calculus for Local Reversibility
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Labelled Superposition for PLTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Lambda Calculus for Quantum Computation
SIAM Journal on Computing
Mathematics
Computer Science