Вы здесь

Главная

Meinke K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Topological Methods for Algebraic Specification 1995 Meinke K. Lecture Notes in Computer Science 24.05.1995
СТ A Recursive Second Order Initial Algebra Specification of Primitive Recursion 1994 Meinke K. Acta Informatica 20.10.1994
СТ ATLAS: A Typed Language for Algebraic Specification 1994 Hearn B. M., Meinke K. Lecture Notes in Computer Science 24.08.1994
СТ Specification and Verification in Higher Order Algebra: A Case Study of Convolution 1994 Meinke K., Steggles L. J. Lecture Notes in Computer Science 24.08.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Machine Learning for Dynamic Software Analysis: Potentials and Limits: Revised Papers/ International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 2016 2018
  1. Bennaceur A.
  2. Hahnle R.
  3. Meinke K.
 26.09.2018
СБ Principles of Declarative Programming: Proc./10th Intern. Symp., PLILP 98, Held Jointly with the Intern. Conf., ALP 98. Pisa, Italy, September 1998 1998 Lecture Notes in Computer Science
  1. Palamidessi C.
  2. Glaser H.
  3. Meinke K.
 10.10.1998
СБ Algebraic and Logic Programming: Proc./6th Intern. Joint Conf., ALP 97 - HOA 97. Southampton, UK, September 1997 1997 Lecture Notes in Computer Science
  1. Hanus M.
  2. Heering J.
  3. Meinke K.
 11.09.1997
СБ 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
СБ Computer Science Logic: Selected Papers/7th Workshop, CSL 93. Swansea, United Kingdom, September 1993 1994 Lecture Notes in Computer Science
  1. Borger E.
  2. Gurevich Y.
  3. Meinke K.
 24.08.1994
СБ Higher-Order Algebra, Logic, and Term Rewriting: Selected Papers/First Intern. Workshop, HOA 93. Amsterdam, The Netherlands, September 1993 1994 Lecture Notes in Computer Science
  1. Heering J.
  2. Meinke K.
  3. Moller B.
  4. Nipkow T.
 23.08.1994