Bitvector Reasoning with SPASS

Rusev, Rostislav

Local TagsRelease HistoryDetailsSummary

Bitvector Reasoning with SPASS

Rusev, R. (2008). Bitvector Reasoning with SPASS. Master 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-0024-BBE7-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-BBE8-0

Genre: Thesis

Latex : Bitvector Reasoning with {SPASS}

Files

show Files

hide Files

:

MasterThesis.pdf (Any fulltext), 465KB

File Permalink:
-

Name:
MasterThesis.pdf

Description:
-

OA-Status:

Visibility:
Private

MIME-Type / Checksum:
application/pdf

Technical Metadata:

Copyright Date:
-

Copyright Info:
-

License:
-

Locators

show

Creators

show

hide

Creators:
Rusev, Rostislav¹, Author

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

Content

show

Details

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: RusevMaster2008

Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show