Вы здесь

Главная

Galmiche D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Separation Logic for Resource Distribution 2003 Biri N., Galmiche D. Lecture Notes in Computer Science 30.01.2004
СТ Proof-Search and Countermodel Generation in Propositional BI Logic 2001 Galmiche D., Mery D. Lecture Notes in Computer Science 04.11.2001
СТ Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic 1999 Galmiche D., Larchey-Wendling D. Lecture Notes in Computer Science 28.12.1999
СТ Foundations of Proof Search Strategies Dessign in Linear logic 1994 Galmiche D., Perrier G. Lecture Notes in Computer Science 27.07.1994
СТ SKIL: A System for Programming with Proofs 1993 Galmiche D., Hermann O. Lecture Notes in Artificial Intelligence 07.08.1993
СТ Automated Deduction in Additive and Multiplicative Linear Logic 1992 Galmiche D., Perrier G. Lecture Notes in Computer Science 05.08.1992
СТ Program transformation by proof in constructive framework 1991 Galmiche D. INRIA Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction 20.11.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018 2018 Lecture Notes in Computer Science
  1. Galmiche D.
  2. Schulz S.
  3. Sebastiani R.
 31.07.2018
СБ Automated Reasoning with Analytic Tableaux and Related Methods: Proc./22nd International Conference, TABLEAUX 2013, Nancy, France, September 2013 2013 Lecture Notes in Artificial Intelligence
  1. Galmiche D.
  2. Larchey-Wendling D.
 02.12.2013
СБ Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 97. Pont-a-Mousson, France, May 1997 1997 Lecture Notes in Artificial Intelligence
  1. Galmiche D.
 28.05.1997