- Record: found
- Abstract: not found
- Book Chapter: not found
TAPSOFT'93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings
On the Ehrenfeucht-Fraïssé game in theoretical computer science
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references18
- Record: found
- Abstract: not found
- Article: not found
Algebraic laws for nondeterminism and concurrency
Matthew Hennessy, Robin Milner (1985)
- Record: found
- Abstract: not found
- Book Chapter: not found
On Local and Non-Local Properties
Haim Gaifman (1982)