3229 search results - page 143 / 646 » Theories with the Independence Property |
94
Voted
MPC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
107
Voted
RTA
2010
Springer
15 years 4 months ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
104
Voted
APAL
2004
15 years 20 days ago
2004
Modus ponens provides the central theme. There are laws, of the form A C. A logic (or other theory) L collects such laws. Any datum A (or theory T incorporating such data) provid...
111
Voted
CAV
2001
Springer
15 years 5 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...