English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Deciding the Guarded Fragments by Resolution

de Nivelle, H., & de Rijke, M. (2003). Deciding the Guarded Fragments by Resolution. Journal of Symbolic Computation, 35, 21-58.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
de Nivelle, Hans1, Author           
de Rijke, Maarten, Author
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: We give resolution based decision procedures for both the strictly guarded fragment and the loosely guarded fragment of first-order logic. We prove that the decision procedures are in 2EXPTIME, which is theoretically optimal.

Details

show
hide
Language(s): eng - English
 Dates: 2004-06-232003
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 201883
Other: Local-ID: C1256104005ECAFC-444F28344A221540C1256D0900423679-deNivelle2003a
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Journal of Symbolic Computation
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 35 Sequence Number: - Start / End Page: 21 - 58 Identifier: ISSN: 0747-7171