Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Propositional Dynamic Logics of Programs: a Survey
Logic of Programs, Workshop
ACM SIGPLAN Notices
Hi-index | 0.00 |
Co-occurrence constraints play an important role in rule-based systems such as natural language processing. The constraints appear in many forms including agreement restrictions (e.g., number agreement between subjects and predicates), selectional restrictions ...