Searching for "Alternative Semantics for Temporal Logics." – sorted by Relevance.
-
An Abstract Machine for Unification Grammars
- . 1986. A logical semantics for feature structures. In Proceedings of the 24th Annual Meeting
- Cited by 9 (3 self) – Add To MetaCart

