FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Journal of Applied Non-Classical Logics
ISSN:
1166-3081
eISSN:
1958-5780
Publisher:
Taylor and Francis
Publications (2)
Types of publications
Journal article
Journal article
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Filters (inactive)
Reasoning without believing: On the mechanisation of presuppositions and partiality (2012)
Kerber M, Kohlhase M
Journal article, Original article
Higher-order multi-valued resolution (1999)
Kohlhase M, Scheja O
Journal article, Original article