Вы здесь

Главная

Dowek G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Enumerating Proofs of Positive Formulae 2009 Dowek G., Jiang Y. The Computer Journal 16.02.2010
СТ What Is a Theory? 2002 Dowek G. Lecture Notes in Computer Science 30.03.2002
СТ HOL- : An Intentional First-Order Expression of Higher-Order Logic 1999 Dowek G., Hardin T., Kirchner C. Lecture Notes in Computer Science 15.07.1999
П Higher Order Unification via Explicit Substations 1995 Dowek G., Hardin T., Kirchner C. INRIA 09.04.1998
СТ Lambda-calculus, combinators and the Comprehension scheme 1995 Dowek G. Lecture Notes in Computer Science 15.04.1995
П Naming and Scoping in a Mathematical Vernacular 1990 Dowek G. INRIA 03.07.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Rewriting and Typed Lambda Calculi: Proc./Joint International Conference, RTA-TLCA 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014 2014 Lecture Notes in Computer Science
  1. Dowek G.
 30.08.2014
СБ Automated Reasoning: Proc./4th International Joint Conference, IJCAR 2008. Sydney, Australia, August 2008 2008 Lecture Notes in Artificial Intelligence
  1. Armando A.
  2. Baumgartner P.
  3. Dowek G.
 03.10.2008
СБ Theorem Proving in Higher Order Logics: Proc./12th Intern. Conf., TPHOLs 99. 1999 Lecture Notes in Computer Science
  1. Bertot Y.
  2. Dowek G.
  3. Hirschowitz A.
  4. Paulin C.
 14.10.1999
СБ Higher-Order Algebra, Logic, and Term Rewriting: Selected Papers/Second Intern. Workshop, HOA 95. Paderborn, Germany, September 1995 1996 Lecture Notes in Computer Science
  1. Dowek G.
  2. Heering J.
  3. Meinke K.
  4. Moller B.
 31.05.1996