Miscellaneous
@Miscellaneous
Verschiedenes


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:









Author

Author(s):

de Nivelle, Hans
Meng, Jia

dblp
dblp

Not MPG Author(s):

Meng, Jia

BibTeX citekey*:

deNivelleMeng2006b

Language:

English

Title, Howpublished

Title*:

Geo 2006j

Howpublished:

can be obtained from my homepage

Vol, No, pp., Year

Month:

September

Year:

2006

ISBN:


Pages:


Abstract, Links, ©

Note:


LaTeX Abstract:

Geo is a prover for full-first order logic. It is writen in C++. It is based on a new calculus, which is called geometric resolution, and which is described in our paper at IJCAR 2006. The calculus is called geometric resolution because it uses an internal format that is closely related to geometric logic. It should be equally good in finding proofs as in finding finite models. Geo 2006i won the best newcomer award at CASC 2006.
geo2006j is a slight improvement of geo2006i.

Categories / Keywords:


HyperLinks / References / URLs:


Personal Comments:


File Upload:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, university publications list, working group publication list, Fachbeirat, CCL bibliography


BibTeX Entry:
@MISC{deNivelleMeng2006b,
AUTHOR = {de Nivelle, Hans and Meng, Jia},
TITLE = {Geo 2006j},
HOWPUBLISHED = {can be obtained from my homepage},
YEAR = {2006},
MONTH = {September},
}


Entry last modified by Uwe Brahm, 01/28/2008
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Hans de Nivelle
Created
09/25/2006 12:45:17 PM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Uwe Brahm
Hans de Nivelle
Hans de Nivelle
Hans de Nivelle
Hans de Nivelle
Edit Dates
2007-04-24 14:13:40
09/25/2006 01:45:53 PM
09/25/2006 01:45:26 PM
09/25/2006 01:07:37 PM
09/25/2006 12:46:08 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section