Вы здесь

Engelfriet J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A new natural structural congruence in the pi-calculus with replication 2004 Engelfriet J., Gelsema T. Acta Informatica 16.07.2004
СТ The Delta Operation: From Strings to Trees to Strings 2002 Engelfriet J. Lecture Notes in Computer Science 14.03.2002
СТ Axioms for Generalized Graphs, Illustrated by a Cantor-Bernstein Proposition 1998 Engelfriet J., Gelsema T. Acta Informatica 15.01.1999
СТ Specification of Dynamics for Knowledge-Based Systems 1998 Van Eck P., Engelfriet J., Fensel D., Van Harmelen F., Venema Y., Willems M. Lecture Notes in Computer Science 03.12.1998
СТ Generated Models and Extensions of Nonmonotonic Systems 1997 Engelfriet J., Herre H. Logic Programming 05.03.1998
СТ Context-free Graph Grammars and Concatenation of Graphs 1997 Engelfriet J., Vereijken J. J. Acta Informatica 10.12.1997
СТ Monadic Second Order Logic and Node Relations on Graphs and Trees 1997 Bloem R., Engelfriet J. Lecture Notes in Computer Science 30.08.1997
СТ Temporal Theories of Reasoning 1994 Engelfriet J., Treur J. Lecture Notes in Artificial Intelligence 28.10.1994
СТ Context-Free Graph Languages of Bounded Degree are Generated by Apex graph Grammars 1994 Engelfriet J., Heyker L., Leih G. Acta Informatica 20.10.1994
СТ Deciding the NTS Property of Context-Free Grammars 1994 Engelfriet J. Lecture Notes in Computer Science 12.07.1994
СТ Graph Grammars and Tree Transducers 1994 Engelfriet J. Lecture Notes in Computer Science 30.04.1994
СТ A Multiset Semantics for the pi-Calculus with Replication 1993 Engelfriet J. Lecture Notes in Computer Science 19.10.1993
СТ Context-free hypergraph grammars have the same term-generating power as attribute grammars 1992 Engelfriet J., Heyker L. Acta Informatica 21.05.1992
СТ Branching Processes of Petri nets 1991 Engelfriet J. Acta Informatica 11.09.1991