2409 search results - page 289 / 482 » Logical systems for structured specifications |
162
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
135
click to vote
APN
2004
Springer
15 years 9 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
137
click to vote
TACAS
1999
Springer
15 years 8 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
120
click to vote
CSL
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
240
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
As peer-to-peer (P2P) networks become more familiar to the database community, intense interest has built up in using their scalability and resilience properties to scale database...