Cited By
View all- Sutcliffe G(2006)The CADE-20 automated theorem proving competitionAI Communications10.5555/1162486.116249119:2(173-181)Online publication date: 1-Jan-2006
<Emphasis Type="SmallCaps">Spass</Emphasis>is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent developments in <Emphasis Type="SmallCaps"...
Delphin is a functional programming language [Adam Poswolsky and Carsten Schurmann. Practical programming with higher-order encodings and dependent types. In European Symposium on Programming (ESOP), 2008] utilizing dependent higher-order datatypes. ...
We present a simple Prolog prover for intuitionistic modal logics based on nested sequent proof systems. We have implemented single-conclusion systems (Gentzen-style) and multi-conclusion systems (Maehara-style) for all logics in the ...
Springer-Verlag
Berlin, Heidelberg
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in