Search Result
Search result :
Title: 

Author: 

Year: 
 

Key: 
1002824 
distributed system; shared memory; operating system; realtime 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