A Labelled Transition System for Πε-Calculus

Lecture Notes in Computer Science - Germany
doi 10.1007/bfb0030607
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Simple Distributed Reasoning System for the Connection Calculus

Vietnam Journal of Computer Science
2014English

Dag-Calculus: A Calculus for Parallel Computation

2016English

A Generative Dialogue System for Arguing About Plans in Situation Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
1998English

Phase Transition for a Hard Sphere System

Journal of Chemical Physics
MedicineTheoretical ChemistryAstronomyPhysicsPhysical
1957English

A Calculus for Local Reversibility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Labelled Superposition for PLTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Lambda Calculus for Quantum Computation

SIAM Journal on Computing
MathematicsComputer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy