English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  An Overview of Resolution Decision Procedures

de Nivelle, H. (2000). An Overview of Resolution Decision Procedures. In M. Faller, S. Kaufmann, & M. Pauly (Eds.), Formalizing the Dynamics of Information (pp. 115-130). Stanford, USA: Center for the Study of Language and Information.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3412-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3413-A
Genre: Conference Paper

Files

show Files

Locators

show

Creators

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

Content

show
hide
Free keywords: -
 Abstract: In the paper I give a unified treatment of several first order decidable classes, using resolution decision procedures.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-122000
 Publication Status: Issued
 Pages: -
 Publishing info: Stanford, USA : Center for the Study of Language and Information
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519785
Other: Local-ID: C1256104005ECAFC-B6B553C2B9E40862C1256A01005066C7-deNivelle2000b
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Stanford University, Palo Alto, USA
Start-/End Date: 2000

Legal Case

show

Project information

show

Source 1

show
hide
Title: Formalizing the Dynamics of Information
Source Genre: Proceedings
 Creator(s):
Faller, Martina, Editor
Kaufmann, Stefan, Editor
Pauly, Marc, Editor
Affiliations:
-
Publ. Info: Stanford, USA : Center for the Study of Language and Information
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 115 - 130 Identifier: ISBN: 1-57586-239-5

Source 2

show
hide
Title: CSLI Publications
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -