Eintrag weiter verarbeiten
Proof analysis beyond geometric theories: from rule systems to systems of rules
Gespeichert in:
Zeitschriftentitel: | Journal of Logic and Computation |
---|---|
Personen und Körperschaften: | |
In: | Journal of Logic and Computation, 26, 2016, 2, S. 513-537 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Oxford University Press (OUP)
|
Schlagwörter: |