Program development in constructive type theory

von Galmiche, Didier
Veröffentlicht in Theoretical computer science, 94.1992 (1992)

Proof-search in type-theoretic languages

Veröffentlicht 2000

Automated deduction in additive and multiplicative linear logic

von Galmiche, Didier
Veröffentlicht in International Symposium of logical foundations of computer science. Proceedings. 2.1992 (1992)

A procedure for automatic proof nets construction

von Galmiche, Didier
Veröffentlicht 1992

Automated reasoning with analytic tableaux and related methods : 22th international conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013 ; proceedings

Veröffentlicht 2013

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13 - 16, 1997; proceedings

Veröffentlicht 1997

Automated reasoning with analytic tableaux and related methods : international conference, tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; proceedings

Veröffentlicht 1997

Automated reasoning with analytic tableaux and related methods : international conference, Tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; proceedings

Veröffentlicht 1997

Automated reasoning : 9th international joint conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

Veröffentlicht 2018