Efficient Reasoning Procedures for Complex First-order Theories

Wischnewski, Patrick

doi:10.22028/D291-26406

Local TagsRelease HistoryDetailsSummary

Efficient Reasoning Procedures for Complex First-order Theories

Wischnewski, P. (2012). Efficient Reasoning Procedures for Complex First-order Theories. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-B792-4 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-33B7-A

Genre: Thesis

Files

show Files

Locators

show

hide

Locator:
http://scidok.sulb.uni-saarland.de/volltexte/2012/4996/ (Any fulltext) Open Access Green

Description:
-

OA-Status:
Green

Locator:
http://scidok.sulb.uni-saarland.de/doku/lic_ohne_pod.php?la=de (Copyright transfer agreement) Open Access status unknown

Description:
-

OA-Status:
Not specified

Creators

show

hide

Creators:
Wischnewski, Patrick^{1, 2}, Author
Weidenbach, Christoph¹, Advisor
Weikum, Gerhard³, Referee
Schaub, Torsten⁴, Referee

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551
3Databases and Information Systems, MPI for Informatics, Max Planck Society, ou_24018
4External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2012-12-12Date issued: 2012

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Wischnewski12
URN: urn:nbn:de:bsz:291-scidok-49961
Other: Local-ID: 09A72B09A52B038AC1257AF00040853F-Wischnewski12
DOI: 10.22028/D291-26406
Other: hdl:20.500.11880/26462

Degree: PhD

Event

show

Legal Case

show

Project information

show

Source

show