Вы здесь

Главная

Middeldorp A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Simple Termination is Difficult 1993 Middeldorp A., Gramlich B. Lecture Notes in Computer Science 09.07.1993
СТ A Sequential Reduction Strategy 1994 Antoy S., Middeldorp A. Lecture Notes in Computer Science 01.11.1994
СТ Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides 1995 Suzuki T., Middeldorp A., Ida T. Lecture Notes in Computer Science 27.04.1995
СТ Lazy Narrowing: Strong Completeness and Eager Variable Elimination 1995 Okui S., Middeldorp A., Ida T. Lecture Notes in Computer Science 20.06.1995
СТ A Complete Narrowing Calculus for Higher-Order Functional Logic Programming 1995 Nakahara K., Middeldorp A., Ida T. Lecture Notes in Computer Science Programming Languages: Implementations, Logics and Programs 16.11.1995
СТ Relative Undecidability in Term Rewriting 1997 Geser A., Middeldorp A., Ohlebusch E., Zantema H. Lecture Notes in Computer Science 18.07.1997

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Functional and Logic Programming: Proc./4th Fuji Intern. Symp., FLOPS 99. Tsukuba, Japan, November 1999 Lecture Notes in Computer Science
  1. Middeldorp A.
  2. Sato T.
 25.11.1999
СБ Rewriting Techniques and Applications: Proc./12th Intern. Conf., RTA 2001, Utrecht, The Netherlands, May 2001 2001 Lecture Notes in Computer Science
  1. Middeldorp A.
 07.06.2001
СБ Processes, Terms, and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday 2005 Lecture Notes in Computer Science
  1. Middeldorp A.
  2. Van Oostrom V.
  3. Vanraamsdonk F.
  4. De Vrijer R.
 21.03.2006
СБ Logoc for Programming, Artificial Intelligence, and Reasoning: Proc./19th International Conference, LPAR-19, Stellenbosch, South Africa, December 2013 2013 Lecture Notes in Computer Science
  1. Mcmillan K.
  2. Middeldorp A.
  3. Voronkov A.
 13.01.2014
СБ Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015 2015 Lecture Notes in Artificial Intelligence
  1. Felty A. P.
  2. Middeldorp A.
 02.09.2015