Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Engelfriet, J."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Characterization and complexity of uniformly nonprimitive labeled 2-structures
J. Engelfriet
,
T. Harju
,
A. Proskurowski
,
G. Rozenberg
Theoretical Computer Science
154
(2), 1996, pp. 247-282
A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars
B. Courcelle
,
J. Engelfriet
Math. Systems Theory
28
(6), 1995, pp. 515-552
Passes, sweeps, and visits in attribute grammars
J. Engelfriet
,
G. Filé
Journal of the ACM
36
(4), 1989, October, pp. 841-869
Automata with storage on infinite words
J. Engelfriet
,
H.J. Hoogeboom
Lecture Notes in Computer Science
372
, 1989, pp. 289-303
Context-free NCE graph grammars
J. Engelfriet
Lecture Notes in Computer Science
380
, 1989, pp. 148-161
Pushdown machines for the macro tree transducer
J. Engelfriet
,
H. Vogler
Theoretical Computer Science
42
(3), 1986, October, pp. 251-368
The complexity of languages generated by attribute grammars
J. Engelfriet
SIAM Journal on Computing
15
(1), 1986, February, pp. 70-86
Characterization of high level tree transducers
J. Engelfriet
,
H. Vogler
Lecture Notes in Computer Science
194
, 1985, pp. 171-178
Macro tree transducers
J. Engelfriet
,
H. Vogler
Journal of Computer and System Sciences
31
(1), 1985, August, pp. 71-146
Hierarchies of hyper-AFLs
J. Engelfriet
Journal of Computer and System Sciences
30
(1), 1985, February, pp. 86-115
Determinacy
\rightarrow
(observation equivalence = trace equivalence)
J. Engelfriet
Theoretical Computer Science
36
(1), 1985, pp. 21-25
Extended macro grammars and stack controlled machines
J. Engelfriet
,
G. Slutzki
Journal of Computer and System Sciences
29
(3), 1984, December, pp. 366-408
Context free normal systems and ETOL systems
A. Ehrenfeucht
,
J. Engelfriet
,
G. Rozenberg
Journal of Computer and System Sciences
26
(1), 1983, February, pp. 34-46
Iterated pushdown automata and complexity classes
J. Engelfriet
Proceedings of the 15th Annual ACM Symposium on Theory of Computing, STOC'83 (Boston, MA, May 25-27, 1983)
, 1983, pp. 365-373
Simple multi-visit attribute grammars
J. Engelfriet
,
G. Filé
Journal of Computer and System Sciences
24
(3), 1982, June, pp. 283-314
The copying power of one-state tree transducers
J. Engelfriet
,
S. Skyum
Journal of Computer and System Sciences
25
(3), 1982, December, pp. 418-435
The formal power of one-visit attribute grammars
J. Engelfriet
,
G. Filé
Acta Informatica
16
(3), 1981, November, pp. 275-302
Formal properties of one-visit and multi-pass attribute grammars
J. Engelfriet
,
G. Filé
Lecture Notes in Computer Science
85
, 1980, pp. 182-194
Tree transducers, l systems, and two-way machines
J. Engelfriet
,
G. Rozenberg
,
G. Slutzki
Journal of Computer and System Sciences
20
(2), 1980, April, pp. 150-202
Fixed point languages, equality languages, and representation of recursively enumerable languages
J. Engelfriet
,
G. Rozenberg
Journal of the ACM
27
(3), 1980, pp. 499-518
Stack machines and classes of nontested macro languages
J. Engelfriet
,
E.M. Schmidt
,
J. van Leeuwen
Journal of the ACM
27
(1), 1980, pp. 96-117
Extended linear macro grammars, iteration grammars, and register programs
P.R.J. Asveld
,
J. Engelfriet
Acta Informatica
11
(3), 1979, pp. 259-285
Equality languages, fixed point languages and representations of recursively enumerable languages
J. Engelfriet
,
G. Rosenberg
Proceedings of the 19th Annual IEEE Symposium on Foundations of Computer Science, FOCS'78 (Ann Arbor, MI, October 16-18, 1978)
, 1978, pp. 123-126
Tree transducers, L systems and two-way machines
J. Engelfriet
,
G. Rozenberg
,
G. Slutzki
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, STOC'78 (San Diego, CA, May 1-3, 1978)
, 1978, pp. 66-74
IO and OI. II
J. Engelfriet
,
E.M. Schmidt
Journal of Computer and System Sciences
16
(1), 1978, February, pp. 67-99
Seiten 1
2
>