Encoding transition systems in sequent calculus
type: Item
instance of: scholarly article
title: Encoding transition systems in sequent calculus
zbMATH Open document ID: 1028.68095
DOI: 10.1016/S0304-3975(01)00168-2
author: Raymond McDowell
author: Catuscia Palamidessi
author: Dale Miller
published in: Theoretical Computer Science
publication date: 2003-07-29T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1956198
zbMATH Keywords: Transition systems
zbMATH Keywords: Definitions
zbMATH Keywords: Logic specification
zbMATH Keywords: Bisimulation
zbMATH Keywords: Linear logic
describes a project that uses: ML
MaRDI profile type: Publication
cites work: Logic programming and negation: A survey
cites work: Contributions to the Theory of Logic Programming
cites work: Q3819967
cites work: Q5610986
cites work: Linear logic
cites work: Partial inductive definitions
cites work: A Proof-Theoretic Approach to Logic Programming
cites work: From operational semantics to abstract machines
cites work: Q3997501
cites work: A unification algorithm for typed \(\overline\lambda\)-calculus
cites work: Q3774923
cites work: Cut-elimination for a logic with definitions and induction
cites work: Forum: A multiple-conclusion specification logic
cites work: A calculus of communicating systems
cites work: Q3992568
cites work: A Complete Axiomatization of the Three valued Completion of Logic Programs
description: scientific article; zbMATH DE number 1956198