Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
MSO definable string transductions and two-way finite state transducers
The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable
No associations
LandOfFree
Joost Engelfriet does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Joost Engelfriet, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Joost Engelfriet will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-170917