×

Found 2 Documents (Results 1–2)

Model theoretic syntax and parsing: an application to temporal logic. (English) Zbl 1263.68169

Moss, Lawrence S. (ed.) et al., Proceedings of the joint meeting of the 6th conference on formal grammar and the 7th conference on mathematics of language, Helsinki, Finland, August 10–12, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 53, 261-273 (2004).
MSC:  68T50 03B44 03B65
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Author

Year of Publication

Main Field

Software