CS Structure

About CS Structure | Search | Help  

 

  • 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
     

    Reference List:

    Reference Tree