311 search results - page 19 / 63 » Conservative Dual Consistency |
CADE
2008
Springer
14 years 8 months ago
2008
Springer
One of the keys to the success of the Thousands of Problems for Theorem Provers (TPTP) problem library and related infrastructure is the consistent use of the TPTP language. This p...
CIE
2007
Springer
14 years 13 days ago
2007
Springer
We prove confluence of two cut-elimination procedures for the implicational fragment of a standard intuitionistic sequent calculus. One of the cut-elimination procedures uses globa...
APAL
2007
13 years 8 months ago
2007
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this research project, an integration of multi-agent technology and optimization techniques is suggested for the combined production and transport planning problem in a transpo...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...