Eintrag weiter verarbeiten
Buchumschlag von Pure Sequent Calculi : Analyticity and Decision Procedure
Verfügbar über Open Access

Pure Sequent Calculi : Analyticity and Decision Procedure: Analyticity and Decision Procedure

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: ACM Transactions on Computational Logic
Personen und Körperschaften: Lahav, Ori, Zohar, Yoni
In: ACM Transactions on Computational Logic, 20, 2019, 3, S. 1-38
Medientyp: E-Article
Sprache: Englisch
veröffentlicht:
Association for Computing Machinery (ACM)
Schlagwörter: