188 search results - page 1 / 38 » On the Unification of Process Semantics: Observational Seman... |
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
ACL
1996
13 years 6 months ago
1996
In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interfac...
EACL
1989
ACL Anthology
13 years 6 months ago
1989
ACL Anthology
We present an algorithm for the generation of sentences from the semantic representations of Unification Categorial Grammar. We discuss a variant of Shieber's semantic monoto...
ENTCS
2008
13 years 4 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
SIGLEX
1991
13 years 8 months ago
1991
We consider lexicM operations and their representation in a unification based lexicon and the role of lexical semantic information. We describe a unified treatment of the linguist...