12. LPAR 2005:
Montego Bay, Jamaica Geoff Sutcliffe , Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings.
Lecture Notes in Computer Science 3835 Springer 2005, ISBN 3-540-30553-X
export record as
dblp key:
Allen Van Gelder :
Independently Checkable Proofs from Decision Procedures: Issues and Progress.
1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yao Wu ,
Enrico Pontelli ,
Desh Ranjan :
Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees.
79-94
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Magnus Björk :
A First Order Extension of Stålmarck's Method.
276-291
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Allen Van Gelder :
Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning.
580-594
export record as
dblp key:
export record as
dblp key:
conf/lpar/Coste-MarquisDM05 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/lpar/Larchey-Wendling05 export record as
dblp key:
export record as
dblp key:
conf/lpar/ChristiansenM05 export record as
dblp key:
Carsten Fritz :
Concepts of Automata Construction from LTL.
728-742
data released under the ODC-BY 1.0 license
