Guido Fiorino - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 6 von 7

)

CiteSeerX — A Tableau Decision Procedure for Propositional...

citeseerx.ist.psu.edu

author = {Alessandro Avellone and Guido Fiorino and Ugo Moscato}, title = {A Tableau Decision Procedure for Propositional Intuitionistic Logic}, year = {2006}

Abstract | IJCAIwww.ijcai.org › Abstract

www.ijcai.org

Guido Fiorino. In this paper we use the Kripke semantics characterization of Dummett logic to introduce a new way of handling non-forced formulas in tableau ...

IPTP solved : 209 (76.3%) proved : 127 refuted : 82 >600s: :

www.iltp.de

IPTP authors : Alessandro Avellone, Guido Fiorino and Ugo Moscato version : programming language : C++ compiler : gcc description : Parallel version of a duplication-free tableau calculus for propositional logic implemented in C++.

PITP3.0 solved : 238 (86.9%) proved : 128 refuted : 110 >600s ...iltp.de › PITP_on_ILTP-v prop.txt

iltp.de

274 propositional problems (ILTP-Library v1.1.2) date: 23 Feb ATP-system : PITP authors : Alessandro Avellone, Guido Fiorino and Ugo Moscato version ...

PITPINV solved : 262 (95.6%) proved : 128 refuted : iltp.de › PITPINV_on_ILTP-v prop.txt

iltp.de

274 propositional problems (ILTP-Library v1.1.2) date: 23 Jun ATP-system : PITPINV authors : Alessandro Avellone, Guido Fiorino and Ugo Moscato ...

Verwandte Suchanfragen zu Guido Fiorino

Magnus Björk
Mauro Ferrari

Personen
Vorname "Guido" (15474)
Name "Fiorino" (169)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Guido Fiorino

CiteSeerX — A Tableau Decision Procedure for Propositional...

Abstract | IJCAIwww.ijcai.org › Abstract

IPTP solved : 209 (76.3%) proved : 127 refuted : 82 >600s: :

PITP3.0 solved : 238 (86.9%) proved : 128 refuted : 110 >600s ...iltp.de › PITP_on_ILTP-v prop.txt

PITPINV solved : 262 (95.6%) proved : 128 refuted : iltp.de › PITPINV_on_ILTP-v prop.txt