2585 search results - page 416 / 517 » Automating Coherent Logic |
159
click to vote
ENTCS
2007
15 years 6 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
170
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...
164
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. In an automated setting, termination tools are concerned with parametric polynomi...
171
click to vote
RULEML
2010
Springer
15 years 4 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
157
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...