Logics for context free languages:
Saved in:
Bibliographic Details
Main Authors: Lautemann, Clemens (Author), Schwentick, Thomas (Author), Thérien, Denis (Author)
Format: Book
Language:German
Published: Mainz Inst. für Informatik [1994]
Series:Informatik-Bericht 1994,4
Physical Description:9 S. graph. Darst.