Skolem normal form

Results: 24



#Item
1On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff  Inst. for Discrete Math. and Geometry E104

On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104

Add to Reading List

Source URL: www.phil.uu.nl

Language: English - Date: 2008-02-06 05:45:02
2Context-givenness vs. existential quantification Salvador Mascarenhas New York University This paper argues that there are strong parallelisms between indefinite noun phrases and two seemingly unrelated constructions, na

Context-givenness vs. existential quantification Salvador Mascarenhas New York University This paper argues that there are strong parallelisms between indefinite noun phrases and two seemingly unrelated constructions, na

Add to Reading List

Source URL: www.macsim.us

Language: English - Date: 2011-06-24 13:35:02
3Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria

Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria

Add to Reading List

Source URL: www.phil.uu.nl

Language: English - Date: 2009-04-03 05:11:01
4¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach  Lecture “Automated Reasoning”

¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”

Add to Reading List

Source URL: resources.mpi-inf.mpg.de

Language: English - Date: 2010-08-07 06:03:33
5Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto  March 07, 2011

Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2011-03-16 15:35:01
6Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek  Peter Andrews has proposed, in 1971, the problem of finding an analog

Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog

Add to Reading List

Source URL: who.rocq.inria.fr

Language: English - Date: 2011-01-28 11:35:50
7

PDF Document

Add to Reading List

Source URL: people.ucsc.edu

Language: English - Date: 2015-01-24 16:05:40
8A First-Order Davis-Putnam-Logemann-Loveland Procedure Peter Baumgartner  + Some slides from

A First-Order Davis-Putnam-Logemann-Loveland Procedure Peter Baumgartner + Some slides from "First Order Theorem Proving" Tutorial

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2006-04-12 01:52:20
9

PDF Document

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-08-27 06:04:04
10Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1

Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1

Add to Reading List

Source URL: people.ucsc.edu

Language: English - Date: 2015-01-24 16:05:41