AAAAAA
Results:
1-9
|
Results: 9
Authors:
van Eck, P
Engelfriet, J
Fensel, D
van Harmelen, F
Venema, Y
Willems, M
Citation: P. Van Eck et al., A survey of languages for specifying dynamics: A knowledge engineering perspective, IEEE KNOWL, 13(3), 2001, pp. 462-496
Authors:
Engelfriet, J
Gelsema, T
Citation: J. Engelfriet et T. Gelsema, Structural inclusion in the pi-calculus with replication, THEOR COMP, 258(1-2), 2001, pp. 131-168
Authors:
Bloem, R
Engelfriet, J
Citation: R. Bloem et J. Engelfriet, A comparison of tree transductions defined by monadic second order logic and by attribute grammars, J COMPUT SY, 61(1), 2000, pp. 1-50
Authors:
Engelfriet, J
Maneth, S
Citation: J. Engelfriet et S. Maneth, Macro tree transducers, attribute grammars, and MSO definable tree translations, INF COMPUT, 154(1), 1999, pp. 34-91
Authors:
Engelfriet, J
Citation: J. Engelfriet, Derivation trees of ground term rewriting systems, INF COMPUT, 152(1), 1999, pp. 1-15
Authors:
Engelfriet, J
Herre, H
Citation: J. Engelfriet et H. Herre, Stable generated models, partial temporal logic and disjunctive defaults, J LOGIC PR, 41(1), 1999, pp. 1-25
Authors:
Engelfriet, J
Gelsema, T
Citation: J. Engelfriet et T. Gelsema, Multisets and structural congruence of the pi-calculus with replication, THEOR COMP, 211(1-2), 1999, pp. 311-337
Authors:
Engelfriet, J
Herre, H
Treur, J
Citation: J. Engelfriet et al., Nonmonotonic reasoning with multiple belief sets, ANN MATH A, 24(1-4), 1998, pp. 225-248
Authors:
Engelfriet, J
Gelsema, T
Citation: J. Engelfriet et T. Gelsema, Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition, ACT INFORM, 35(12), 1998, pp. 1075-1096
Risultati:
1-9
|