Automated Reasoning with Analytic Tableaux and Related Methods
Book title Buchtitel
Automated Reasoning with Analytic Tableaux and Related Methods
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
LNCS, vol.11714
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Lang, Timo ; Olarte, Carlos ; Pimentel, Elaine ; Fermüller, Christian | A Game Model for Proofs with Costs | Konferenzbeitrag Inproceedings  | 2019 | |
| 2 | Lellmann, Björn ; De Nivelle, Hans | Linear Nested Sequents, 2-sequents and Hypersequents | Konferenzbeitrag Inproceedings | 2015 |