2012 search results - page 20 / 403 » CORAL - Control, Relations and Logic |
116
click to vote
ITP
2010
15 years 8 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
158
Voted
ENTCS
2006
15 years 4 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
205
Voted
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
132
click to vote
ACL
1997
15 years 6 months ago
1997
We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture suppo...
156
click to vote
AB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...