Вы здесь

Treinen R.

Автор:

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