Superposition Modulo Linear Arithmetic

Local TagsRelease HistoryDetailsSummary

Superposition Modulo Linear Arithmetic

Kruglov, E. (2008). Superposition Modulo Linear Arithmetic. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-001A-21D9-B Version Permalink: https://hdl.handle.net/11858/00-001M-0000-001A-21DB-7

Genre: Thesis

show

show

hide

Creators:
Kruglov, Evgeny¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

show

show

hide

Language(s): eng - English

Dates: Date issued: 2008

Publication Status: Issued

Pages: -

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

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Kruglov2008

Degree: Master

show

show

show

show