Computing finite models by reduction to function-free clause logic

Peter Baumgartner; Alexander Fuchs; Hans de Nivelle; Cesare Tinelli

Computing finite models by reduction to function-free clause logic

Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

Original language	English
Title of host publication	Proceedings of DISPROVING-06: Non-Theorems, Non-Validity, Non-Provability
Editors	W. Ahrendt, P. Baumgartner, H. de Nivelle
Place of Publication	Seattle, WA USA
Publisher	Conference Organising Committee
Pages	82-95
Edition	Peer Reviewed
ISBN (Print)	9783540371878
Publication status	Published - 2006
Event	International Joint Conference on Automated Reasoning (IJCAR 2006) - Seattle USA Duration: 1 Jan 2006 → … http://www.easychair.org/FLoC-06/DISPROVING.html

Conference

Conference	International Joint Conference on Automated Reasoning (IJCAR 2006)
Period	1/01/06 → …
Other	August 17-20 2006
Internet address	http://www.easychair.org/FLoC-06/DISPROVING.html

Cite this

@inproceedings{104876a4c3904b00bcb5cf52850f4e19,

title = "Computing finite models by reduction to function-free clause logic",

author = "Peter Baumgartner and Alexander Fuchs and {de Nivelle}, Hans and Cesare Tinelli",

year = "2006",

language = "English",

isbn = "9783540371878",

pages = "82--95",

editor = "{W. Ahrendt, P. Baumgartner, H. de Nivelle}",

booktitle = "Proceedings of DISPROVING-06: Non-Theorems, Non-Validity, Non-Provability",

publisher = "Conference Organising Committee",

edition = "Peer Reviewed",

note = "International Joint Conference on Automated Reasoning (IJCAR 2006) ; Conference date: 01-01-2006",

url = "http://www.easychair.org/FLoC-06/DISPROVING.html",

}

Baumgartner, P, Fuchs, A, de Nivelle, H & Tinelli, C 2006, Computing finite models by reduction to function-free clause logic. in WAPBHDN (ed.), Proceedings of DISPROVING-06: Non-Theorems, Non-Validity, Non-Provability. Peer Reviewed edn, Conference Organising Committee, Seattle, WA USA, pp. 82-95, International Joint Conference on Automated Reasoning (IJCAR 2006), 1/01/06.

Computing finite models by reduction to function-free clause logic. / Baumgartner, Peter; Fuchs, Alexander; de Nivelle, Hans et al.
Proceedings of DISPROVING-06: Non-Theorems, Non-Validity, Non-Provability. ed. / W. Ahrendt, P. Baumgartner, H. de Nivelle. Peer Reviewed. ed. Seattle, WA USA: Conference Organising Committee, 2006. p. 82-95.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

TY - GEN

T1 - Computing finite models by reduction to function-free clause logic

AU - Baumgartner, Peter

AU - Fuchs, Alexander

AU - de Nivelle, Hans

AU - Tinelli, Cesare

PY - 2006

Y1 - 2006

M3 - Conference Paper

SN - 9783540371878

SP - 82

EP - 95

BT - Proceedings of DISPROVING-06: Non-Theorems, Non-Validity, Non-Provability

A2 - null, W. Ahrendt, P. Baumgartner, H. de Nivelle

PB - Conference Organising Committee

CY - Seattle, WA USA

T2 - International Joint Conference on Automated Reasoning (IJCAR 2006)

Y2 - 1 January 2006

ER -