Superposition calculus

Results: 8



#Item
1Proceedings of the  6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe

Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe

Add to Reading List

Source URL: www.cs.miami.edu

Language: English - Date: 2006-11-07 08:18:44
2The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal

The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:11
3A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE/C´

A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE/C´

Add to Reading List

Source URL: www.ensiie.fr

Language: English - Date: 2015-01-06 05:11:23
    4A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE/C´

    A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE/C´

    Add to Reading List

    Source URL: bware.lri.fr

    Language: English - Date: 2014-09-27 11:17:21
    5More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1

    More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1

    Add to Reading List

    Source URL: www21.in.tum.de

    Language: English - Date: 2013-08-15 04:44:13
    6

    PDF Document

    Add to Reading List

    Source URL: www.numerical-yoga-guru-rupnathji.net46.net

    Language: English - Date: 2013-02-20 06:35:37