Publications: Miscellaneous

Miscellaneous
@Miscellaneous
Verschiedenes

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

Options:

Goto entry point

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

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

Attachment Section