Searching for authors named "Joost Engelfriet" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
The complexity of typechecking tree-walking tree transducers ⋆
- …The complexity of typechecking tree-walking tree transducers ⋆ Joost Engelfriet LIACS, Leiden…
- Add To MetaCart
-
A Multiset Semantics for the pi-Calculus with Replication
- …A Multiset Semantics for the pi-Calculus with Replication Joost Engelfriet ? Department…
- Cited by 8 (4 self) – Add To MetaCart
-
Reverse Twin Shuffles
- …Reverse Twin Shuffles Joost Engelfriet Department of Computer Science, Leiden University P…
- Cited by 2 (0 self) – Add To MetaCart
-
Derivation Trees of Ground Term Rewriting Systems
- …Derivation Trees of Ground Term Rewriting Systems Joost Engelfriet Department of Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
The Delta Operation: From Strings to Trees to Strings
- …The Delta Operation: from Strings to Trees to Strings ? Joost Engelfriet LIACS, Leiden University…
- Add To MetaCart
-
Graph Grammars and Tree Transducers
- …Graph Grammars and Tree Transducers Joost Engelfriet ? Department of Computer Science, Leiden…
- Cited by 20 (3 self) – Add To MetaCart
-
Multisets and Structural Congruence of the pi-Calculus with Replication
- …Multisets and Structural Congruence of the pi-Calculus with Replication Joost Engelfriet…
- Cited by 8 (4 self) – Add To MetaCart
-
Two-Way Finite State Transducers with Nested Pebbles
- …Two-Way Finite State Transducers with Nested Pebbles Joost Engelfriet and Sebastian Maneth LIACS…
- Cited by 3 (2 self) – Add To MetaCart
-
Tree Languages Generated by Context-Free Graph Grammars
- …Tree Languages Generated by Context-Free Graph Grammars ? Joost Engelfriet and Sebastian Maneth…
- Cited by 6 (2 self) – Add To MetaCart
-
Decidability of the Finiteness of Ranges of Tree Transductions
- … Bremen, Germany e-mail: drewes@(email omitted); Joost Engelfriet Department of Computer Science…
- Cited by 12 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
