distributed system; shared memory; operating system; real-time system
( Subthemes )
linear logic; garbage collection; mobile agent; term rewriting
( Subthemes )
linear logic; proof planning; type theory; proof nets
( Subthemes )
linear logic; proof nets; categorial grammar; lambek calculus
( Subthemes )
**INTRODUCTION TO AUTOMATA THEORY - HOPCROFT, ULLMAN **

By

**Date **

Refs
| Theme
tree | Cited
by 1518 | This paper is cited in the following contexts

Reference List: key=1002824