View in EDS PDF Full Text

PROOF TRANSLATIONS BETWEEN LABEL-FREE AND LABELED SEQUENT CALCULI IN ISCI.

Saved in:
Bibliographic Details
Title: PROOF TRANSLATIONS BETWEEN LABEL-FREE AND LABELED SEQUENT CALCULI IN ISCI.
Authors: Galmiche, Didier1 didier.galmiche@loria.fr, Hornbeck, Brandon1 brandon.hornbeck@loria.fr, Méry, Daniel1 daniel.mery@loria.fr
Source: Bulletin of the Section of Logic. Jun2026, Vol. 55 Issue 2, p321-379. 59p.
Database: Academic Search Ultimate
Description
ISSN:01380680
DOI:10.18778/0138-0680.2026.11