Guillaume Hoffmann - Wissenschaftliche Veröffentlichungen

(1 - 7 von 7

)

dblp: error 410

dblp.uni-trier.de

List of computer science publications by Guillaume Hoffmann

Guillaume Hoffmann dblp

dblp.org

› Persons

dblp: LSFA 2012

dblp.uni-trier.de

Bibliographic content of LSFA 2012

Gert Smolka: Doctoral Students

www.ps.uni-saarland.de

Gert Smolka: Doctoral Students. Programming Systems. Gert Smolka. Teaching. Publications. Academic Activities. Curriculum Vitae Guillaume Hoffmann, 2010, …

Guillaume Hoffmann - dblpdblp.org › Persons

dblp.org

Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro: A Tableaux Calculus for Default Intuitionistic Logic.

AG Theory of Artificial Intelligence (TdKI)

www.informatik.uni-bremen.de

2016 Carlos Areces, Raul Fervari, Guillaume Hoffmann, and Mauricio Martel. Relation-Changing Logics as Fragments of Hybrid Logics. In Proceedings of the ...

www.ps.uni-saarland.de

Bug fixes: * A bug in the implementation of lazy branching on negated nominals (thanks to Guillaume Hoffmann) ...

Verwandte Suchanfragen zu Guillaume Hoffmann

Pia Schächterle

Person "Hoffmann" (186)
Vorname "Guillaume" (3198)
Name "Hoffmann" (10755)

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

Wissenschaftliche Veröffentlichungen Guillaume Hoffmann

dblp: error 410

Guillaume Hoffmann dblp

dblp: LSFA 2012

Gert Smolka: Doctoral Students

Guillaume Hoffmann - dblpdblp.org › Persons

AG Theory of Artificial Intelligence (TdKI)

www.ps.uni-saarland.de