> Detailanzeige

Cyrluk, David [Verfasser:in]; Möller, Oliver [Verfasser:in]; Rueß, Harald [Verfasser:in]

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

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: Buch
Titel: An efficient decision procedure for a theory of fix-sized bitvectors with composition and extraction
Beteiligte: Cyrluk, David [Verfasser:in]; Möller, Oliver [Verfasser:in]; Rueß, Harald [Verfasser:in]
Erschienen: Ulm: Univ., Fak. für Informatik, 1996
Erschienen in: Ulmer Informatik-Berichte ; 96,08
Umfang: 16 S.
Sprache: Englisch
RVK-Notation: SS 5525 : Ulmer Informatik-Berichte
Schlagwörter: Theoretische Informatik
Entstehung:
Anmerkungen:
Weitere Bestandsnachweise
0 : Ulmer Informatik-Berichte

(0)

Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung