Вы здесь

Niehren J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Non-structural Subtype Entailment in Automata Theory 2001 Niehren J., Priesnitz T. Lecture Notes in Computer Science 04.11.2001
СТ Constraints for Free in Concurrent Computation 1995 Niehren J., Muller M. Lecture Notes in Computer Science 12.01.1996
СТ A Confluent Relational Calculus for Higher-Order Programming with Constraints 1994 Niehren J., Smolka G. Lecture Notes in Computer Science 01.10.1994
СТ Equational and Membership Constraints for Infinite Trees 1993 Niehren J., Podelski A., Treinen R. Lecture Notes in Computer Science 09.07.1993
СТ Feature Automata and Recognizable Sets of Feature Trees 1993 Niehren J., Podelski A. Lecture Notes in Computer Science 26.05.1993