Adi Palm

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001

1 EE Adi Palm: Model Theoretic Syntax, Parsing: An Application to Temporal Logic. Electr. Notes Theor. Comput. Sci. 53: (2001)