Вы здесь

Главная

Moller B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П GOTOs - A Study in the Algebraic Specification of Programming Languages 1981 Broy M., Dosch W., Moller B., Wirsing M. Univ.Edinburgh 19.03.2004
СТ Kleene under a Demonic Star 2000 Desharnais J., Moller B., Tchier F. Lecture Notes in Computer Science 17.06.2000
М Formal Specification of Large-Scale Software Objectives, Design Decisions and Experiences in a Concrete Software Project 1986 Moller B., Partsch H. IFIP: TC 2, Working Conf. on Program Specification and Transformation 09.12.1999
М Transformation Rules for Conditional Join Operations 1986 Moller B., Paukner O. IFIP: TC 2, Working Conf. on Program Specification and Transformation 09.12.1999
М Algebraic Specifications with Higher-Order Operations 1986 Moller B. IFIP: TC 2, Working Conf. on Program Specification and Transformation 09.12.1999
СТ An Algebraic Treatment of Sorting 1992 Moller B. 29.09.1999
П Shorter Paths to Graph Algorithms 1992 Moller B., Russling M. Univ. Augsburg 28.09.1999
П Towards Pointer Algebra 1993 Moller B. Univ. Augsburg 28.09.1999
П Derivation of Graph and Pointer Algorithms 1993 Moller B. Univ. Augsburg 28.09.1999
СТ Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach 1998 Brunn T., Moller B., Russling M. Lecture Notes in Computer Science 25.06.1998
СТ Calculating a Functional Module for Binary Search Trees 1997 Dosch W., Moller B. Lecture Notes in Computer Science 07.08.1997
СТ Ordered and Continuous Models of Higher-Order Specifications 1994 Moller B. Lecture Notes in Computer Science 24.08.1994
СТ Algebraic Calculation of Graph and Sorting Algorithms 1993 Moller B. Lecture Notes in Computer Science 20.11.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Relations and Kleene Algebra in Computer Science: Proc./11th International Conference, RelMiCS 2009 and 6th International Conference, AKA 2009, Doha, Qatar, November 2009 2009 Lecture Notes in Computer Science
  1. Berghammer R.
  2. Jaoua A. M.
  3. Moller B.
 16.02.2010
СБ Mathematics of Program Construction: Proc./6th Intern. Conf., MPC 2002, Dagstuhl Castle, Germany, July 2002 2002 Lecture Notes in Computer Science
  1. Boiten E. A.
  2. Moller B.
 31.07.2002
СБ Mathematics of Program Construction: Proc./Third Intern. Conf., MPC 95, Kloster Irsee, Germany, July 1995 1995 Lecture Notes in Computer Science
  1. Moller B.
 30.03.2002
СБ Prospects for Hardware Foundations: Survey Chapters /ESPRIT Working Group 8533. NADA - New Hardware Design Methods 1998 Lecture Notes in Computer Science
  1. Moller B.
  2. Tucker J. V.
 29.01.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
СБ 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
СБ Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report 1993 Lecture Notes in Computer Science
  1. Moller B.
  2. Partsch H.
  3. Schuman S.
 07.02.1994