12774 search results - page 164 / 2555 » A Framework for Proof Systems |
143
click to vote
COCO
2010
Springer
15 years 8 months ago
2010
Springer
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof syst...
197
click to vote
LCN
1999
IEEE
15 years 8 months ago
1999
IEEE
In a wireless environment, due to topology changes and characteristics of media (interference in radio signals) the bandwidth of a link is unpredictable and possibly very low, the...
130
click to vote
MCU
2007
15 years 6 months ago
2007
Abstract. In this paper we will give an outline of the proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a deletion number v = 2. Thi...
131
click to vote
JUCS
2007
15 years 4 months ago
2007
: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a ...
103
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...