( en | de | ru )

 

Disambiguierung von "Galmiche, Didier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SKIL: A System for Programming with Proofs.

, und . LPAR, Volume 698 von Lecture Notes in Computer Science, Seite 348-350. Springer, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Leo Didier

Didier Béton

Didier Sangiorgio

Frédéric Didier

Didier Fau

 

Weitere Publikationen von Autoren mit dem selben Namen

LINK: A Proof Environment Based on Proof Nets., , und . TABLEAUX, Volume 2381 von Lecture Notes in Computer Science, Seite 330-334. Springer, (2002)A substructural epistemic resource logic: theory and modelling applications., , und . J. Log. Comput., 29 (8): 1251-1287 (2019)Labelled Connection-based Proof Search for Multiplicative Intuitionistic., und . ARQNL@IJCAR, Volume 2095 von CEUR Workshop Proceedings, Seite 49-63. CEUR-WS.org, (2018)About intuitionistic public announcement logic., und . Advances in Modal Logic, Seite 97-116. College Publications, (2016)A Substructural Epistemic Resource Logic., , und . ICLA, Volume 10119 von Lecture Notes in Computer Science, Seite 106-122. Springer, (2017)SKIL: A System for Programming with Proofs., und . LPAR, Volume 698 von Lecture Notes in Computer Science, Seite 348-350. Springer, (1993)Connection-Based Proof Search in Propositional BI Logic., und . CADE, Volume 2392 von Lecture Notes in Computer Science, Seite 111-128. Springer, (2002)The semantics of BI and resource tableaux., , und . Math. Struct. Comput. Sci., 15 (6): 1033-1088 (2005)Semantic Labelled Tableaux for Propositional BI., und . J. Log. Comput., 13 (5): 707-753 (2003)Constructive System for Automatic Program Synthesis.. Theor. Comput. Sci., 71 (2): 227-239 (1990)