Formalizing Cut Elimination of Coalgebraic Logics in Coq : Automated reasoning with analytic tableaux and related methods; TABLEAUX 2013
In: LECTURE NOTES IN COMPUTER SCIENCE (8123):257-272; (2013) 8123, S. 257-272
Konferenz
Zugriff:
Titel: |
Formalizing Cut Elimination of Coalgebraic Logics in Coq : Automated reasoning with analytic tableaux and related methods; TABLEAUX 2013
|
---|---|
Autor/in / Beteiligte Person: | Tews, H. |
Link: | |
Quelle: | LECTURE NOTES IN COMPUTER SCIENCE (8123):257-272; (2013) 8123, S. 257-272 |
Veröffentlichung: | 2013 |
Medientyp: | Konferenz |
ISBN: | 978-3-642-40536-5 (print) ; 3-642-40536-3 (print) |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|