Вы здесь

Главная

Treinen R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Easy Intruder Deductions 2003 Comon-Lundh H., Treinen R. Lecture Notes in Computer Science 26.03.2004
СТ Constraint Deduction in an Interval-based Temporal Logic 1995 Koehler J., Treinen R. Lecture Notes in Artificial Intelligence 31.03.1995
СТ Records for Logic Programming 1992 Smolka G., Treinen R. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ How to Win a Game with Features 1994 Backofen R., Treinen R. Lecture Notes in Computer Science 01.10.1994
СТ Ordering Constraints on Trees 1994 Comon H., Treinen R. Lecture Notes in Computer Science 30.04.1994
СТ Feture Constraints with First-Class Features 1993 Treinen R. Lecture Notes in Computer Science 21.10.1993
СТ Equational and Membership Constraints for Infinite Trees 1993 Niehren J., Podelski A., Treinen R. Lecture Notes in Computer Science 09.07.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Rewriting Techniques and Applications: Proc./20th International Conference, RTA 2009 Brasilia, Brazil, June/July 2009 2009 Lecture Notes in Computer Science
  1. Treinen R.
 24.10.2009
СБ Constraints in Computation Logics - Theory and Applications: Proc./Intern. Summer School, CCL 99, Gif-sur-Yvette, France, September 1999 2001 Lecture Notes in Computer Science
  1. Common H.
  2. Marche C.
  3. Treinen R.
 26.05.2001