Eintrag weiter verarbeiten
Pure Sequent Calculi : Analyticity and Decision Procedure: Analyticity and Decision Procedure
Gespeichert in:
Zeitschriftentitel: | ACM Transactions on Computational Logic |
---|---|
Personen und Körperschaften: | , |
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: |