BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (3)
type (3)
canon (2)
axiomat (2)
proposit (2)

Stem gentzen$ (all stems)

7 papers:

IJCARIJCAR-2006-ZamanskyA #calculus #canonical #quantifier
Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers (AZ, AA), pp. 251–265.
LOPSTRLOPSTR-2002-GutierrezR #calculus #type system #verification
A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene (FG, BCR), pp. 17–31.
FoSSaCSFoSSaCS-2001-Tini #axiom #semantics
An Axiomatic Semantics for the Synchronous Language Gentzen (ST), pp. 394–409.
IJCARIJCAR-2001-AvronL #canonical #type system
Canonical Propositional Gentzen-Type Systems (AA, IL), pp. 529–544.
TLCATLCA-2001-Urban #normalisation
Strong Normalisation for a Gentzen-like Cut-Elimination Procedure (CU), pp. 415–430.
ICALPICALP-1996-ChengK #axiom #constraints #set
A Complete Gentzen-Style Axiomatization for Set Constraints (AC, DK), pp. 134–145.
CSLCSL-1988-Paech #logic
Gentzen-Systems for Propositional Temporal Logics (BP), pp. 240–253.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.