Zum Inhalt springen

Cyrluk, David [VerfasserIn]; Möller, Oliver [VerfasserIn]; Rueß, Harald [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Ulmer Informatik-Berichte ; 96,08
Henke, Friedrich Wilhelm von [MitwirkendeR]; Rueß, Harald [MitwirkendeR]

Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Universität Ulm, 2016-03-15T11:04:15Z
Henke, Friedrich Wilhelm von [VerfasserIn]; Rueß, Harald [VerfasserIn]

Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Erschienen in: Ulmer Informatik-Berichte ; 94,08
Pfeifer, Holger [Sonstige Person, Familie und Körperschaft]; Dold, Axel [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]

Generic compilation schemes for simple programming constructs

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Erschienen in: Ulmer Informatik-Berichte ; 96,12
Dold, Axel [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Pfeifer, Holger [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]

A generic specification for verifying peephole optimizations

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Erschienen in: Ulmer Informatik-Berichte ; 95,14
Pfeifer, Holger [Sonstige Person, Familie und Körperschaft]; Dold, Axel [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]

Mechanized semantics of simple imperative programming constructs

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2009

Erschienen in: Ulmer Informatik-Berichte ; 96,11
Pfeifer, Holger [VerfasserIn]; Dold, Axel [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Rueß, Harald [VerfasserIn]

Generic compilation schemes for simple programming constructs

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Universität Ulm, 2016-03-15T11:04:17Z
Dold, Axel [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Pfeifer, Holger [VerfasserIn]; Rueß, Harald [VerfasserIn]

A generic specification for verifying peephole optimizations

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Universität Ulm, 2016-03-15T06:22:47Z
Pfeifer, Holger [VerfasserIn]; Dold, Axel [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Rueß, Harald [VerfasserIn]

Mechanized semantics of simple imperative programming constructs

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Universität Ulm, 2016-03-15T06:22:50Z
Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Dold, Axel [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]; Schwier, Detlef [Sonstige Person, Familie und Körperschaft]; Strecker, Martin [Sonstige Person, Familie und Körperschaft]

Construction and deduction methods for the formal development of software

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Erschienen in: Ulmer Informatik-Berichte ; 94,09
Bartels, Falk [Sonstige Person, Familie und Körperschaft]; Dold, Axel [Sonstige Person, Familie und Körperschaft]; Pfeifer, Holger [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]

Formalizing fixed-point theory in PVS

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Erschienen in: Ulmer Informatik-Berichte ; 96,10
Henke, Friedrich Wilhelm von [VerfasserIn]; Dold, Axel [VerfasserIn]; Rueß, Harald [VerfasserIn]; Schwier, D. [VerfasserIn]; Strecker, Martin [VerfasserIn]

Construction and deduction methods for the formal development of software

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Universität Ulm, 2016-03-15T11:04:16Z
Bartels, Falk [VerfasserIn]; Dold, Axel [VerfasserIn]; Pfeifer, Holger [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Rueß, Harald [VerfasserIn]

Formalizing fixed-point theory in PVS

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Universität Ulm, 2016-03-15T11:04:17Z
Ruess, Harald

Formal Methods: The Next Big Thing: From Embedded Systems to Embodied Actors

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2023

Erschienen in: Formal Methods
Rueß, Harald

Automated Deduction — Cade-13: Reflection of formal tactics in a deductive reflection framework

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1996

Erschienen in: Automated Deduction — Cade-13
Rueß, Harald

Formal Methods in Computer-Aided Design: Hierarchical verification of two-dimensional high-speed multiplication in PVS: A case study

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1996

Erschienen in: Formal Methods in Computer-Aided Design
Rueß, Harald

Lecture Notes in Computer Science: Computational reflection in the calculus of constructions and its application to theorem proving

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1997

Erschienen in: Lecture Notes in Computer Science
Sorea, Maria; Ruess, Harald

1.3.4 Model‐Based Design and Verification of Fault‐Tolerant Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2007

Erschienen in: INCOSE International Symposium
Klaedtke, Felix; Rueß, Harald

Automata, Languages and Programming: Monadic Second-Order Logics with Cardinalities

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2003

Erschienen in: Automata, Languages and Programming
Shankar, Natarajan; Rueß, Harald

Rewriting Techniques and Applications: Combining Shostak Theories

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: Rewriting Techniques and Applications

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr