Ozan Kahramanogullari, Pierre-Etienne Moreau, Antoine Reilles  Home/Search
Context Related
| informatik.unileipzig.de/~...commut.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: alessio.guglielmi.name/re...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The calculus of structures is a proof theoretical formalism which generalizes sequent calculus with the feature of deep inference: in contrast to sequent calculus, the calculus of structures does not rely on the notion of main connective and, like in term rewriting, it permits the application of the inference rules at any depth inside a formula. Tom is a pattern matching processor that integrates term rewriting facilities into imperative languages. In this paper, relying on the... (Update)
Cited by: More
Deep Inference and the Calculus of Structures - Guglielmi (2006) (Correct)
Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (Correct)
Reducing the Nondeterminism in the Calculus of Structures - Kahramanogullari (2005) (Correct)
Similar documents based on text: More All
0.7: System BV without the Equalities for Unit - Kahramanogullari (2004) (Correct)
0.6: System BV is NP-complete - Kahramanogullari (2005) (Correct)
0.6: Towards Planning as Concurrency - Kahramanogullari (2005) (Correct)
Related documents from co-citation: More All
3: Deep Inference and Symmetry for Classical Proofs (context) - Brunnler - 2003
3: Non-commutativity and MELL in the calculus of structures - Guglielmi, Straburger - 2001
3: A purely logical account of sequentiality in proof search - Bruscoli - 2002
BibTeX entry: (Update)
Ozan Kahramanogullar, Pierre-Etienne Moreau, and Antoine Reilles. Implementing deep inference in tom. In Paola Bruscoli, cois Lamarche Fran and Charles Stewart, editors, Structures and Deduction, The Quest for the Essence of Proofs, (sattelite workshop of ICALP 2005), pages 158--172, Lisbon, 2005. TU Dresden. http://citeseer.ist.psu.edu/kahramanogullari05implementing.html More
@misc{ kahramanogullar05implementing,
author = "O. Kahramanogullar and P. Moreau and A. Reilles",
title = "Implementing deep inference in tom",
text = "Ozan Kahramanogullar, Pierre-Etienne Moreau, and Antoine Reilles. Implementing
deep inference in tom. In Paola Bruscoli, cois Lamarche Fran and Charles
Stewart, editors, Structures and Deduction, The Quest for the Essence of
Proofs, (sattelite workshop of ICALP 2005), pages 158--172, Lisbon, 2005.
TU Dresden.",
year = "2005",
url = "citeseer.ist.psu.edu/kahramanogullari05implementing.html" }
Citations not processed or no citations identified.
Documents on the same site (http://alessio.guglielmi.name/res/cos/index.html): More
MELL in the Calculus of Structures - Straßburger (2003) (Correct)
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
From the Calculus of Structures to Term Rewriting Systems - Hölldobler, Kahramanogullari (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC