3229 search results - page 41 / 646 » Theories with the Independence Property |
DMIN
2006
15 years 1 months ago
2006
When we want to select a class attribute among several choices, we suggest to using a method that is based on the overall correctness of a generating rule set as well as the number...
EJC
2010
14 years 12 months ago
2010
In our previous paper, we presented the combinatorial theory for minimal isostatic pinned frameworks - Assur graphs - which arise in the analysis of mechanical linkages. In this p...
STTT
2010
14 years 6 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
104
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
SYNASC
2007
IEEE
15 years 6 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...