2138 search results - page 2 / 428 » Logics for the Relational Syllogistic |
LICS
2012
IEEE
11 years 7 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
POPL
2012
ACM
12 years 25 days ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
LPNMR
2011
Springer
12 years 8 months ago
2011
Springer
Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...
LOGCOM
2011
12 years 8 months ago
2011
RSCTC
1998
Springer
13 years 9 months ago
1998
Springer
