Media type: Book Title: An efficient decision procedure for a theory of fix-sized bitvectors with composition and extraction Contributor: Cyrluk, David [Author]; Möller, Oliver [Author]; Rueß, Harald [Author] Published: Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,08 Extent: 16 S. Language: English RVK notation: SS 5525 : Ulmer Informatik-Berichte Keywords: Theoretische Informatik Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1997 4 007589 001 Item ID: 10425775 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order