3776 search results - page 372 / 756 » Partition-Based Logical Reasoning |
146
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
115
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
Abstract— This paper proposes a technique for creating a combinational logic network with an output that signals when all other outputs have stabilized. The method is based on du...
179
click to vote
TARK
2009
Springer
15 years 11 months ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
138
click to vote
BIBE
2007
IEEE
15 years 11 months ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
146
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...