An efficient decision procedure for a theory of fix-sized bitvectors with composition and extraction

David Cyrluk ; Oliver Möller ; Harald Rueß

Ulm: Univ., Fak. für Informatik, 1996

Book, Printed Resource - 16 S.

Locally available:

Universitätsbibliothek der RPTU in Kaiserslautern (DE-386), Bibliothekskatalog

Title:	An efficient decision procedure for a theory of fix-sized bitvectors with composition and extraction
Statement of Responsibility:	David Cyrluk ; Oliver Möller ; Harald Rueß
Author / Contributor:	Cyrluk, David [Autor/in] ; Möller, Oliver (1976-) [Autor/in] ; Ruess, Harald [Autor/in]
Related work:	Ulmer Informatik-Berichte — Additional volumes
Publication:	Ulm: Univ., Fak. für Informatik, 1996
Media Type:	Book
Carrier Type:	Printed Resource
Pagination:	16 S.
Subject heading (GND):	Theoretische Informatik
Additional details:	Gesamttitelangabe: Ulmer Informatik-Berichte ; 96,08 Sprache: Englisch hbz Verbund-ID: TT001617056 Quelldatensatz (MARCXML)

Please select a fomat and save the data, next, you provide an e-mail address and have the data delivered there.

BibTeX Citavi, JabRef, et al.
(Reference Management)

PDF No full text!
(Notepad, Notes)

RIS Endnote, Citavi, e.a.
(Reference Management)

MODS
(XML for further processing)

Select the appropriate citation format, copy it to the clipboard, and have it sent by e-mail or save it as a PDF file.

Citation style selected:

Please check that the citation is formally correct prior to using it in a paper. You might like to use the "Export" dialogue for formatting citations yourself for a reference management program.