1008 search results - page 8 / 202 » Canonicity! |
DAC
2000
ACM
14 years 12 months ago
2000
ACM
LFCS
2009
Springer
14 years 5 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 ...
TPHOL
2008
IEEE
14 years 5 months ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
COCOON
2007
Springer
14 years 5 months ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
CIMCA
2005
IEEE
14 years 4 months ago
2005
IEEE
We present an approach used in CSDTA (Canonical Sequence Directed Tactics Analyzer) that uses canonical sequences (Joseki) in hoping to improve computer Go programs. We collect 12...