Skip to contents

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

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

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

Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Ulmer Informatik-Berichte ; 94,08
Pfeifer, Holger [Other]; Dold, Axel [Other]; Henke, Friedrich Wilhelm von [Other]; Rueß, Harald [Other]

Generic compilation schemes for simple programming constructs

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Ulmer Informatik-Berichte ; 96,12
Dold, Axel [Other]; Henke, Friedrich Wilhelm von [Other]; Pfeifer, Holger [Other]; Rueß, Harald [Other]

A generic specification for verifying peephole optimizations

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Ulmer Informatik-Berichte ; 95,14
Pfeifer, Holger [Other]; Dold, Axel [Other]; Henke, Friedrich Wilhelm von [Other]; Rueß, Harald [Other]

Mechanized semantics of simple imperative programming constructs

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

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

Generic compilation schemes for simple programming constructs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

A generic specification for verifying peephole optimizations

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Mechanized semantics of simple imperative programming constructs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Ulm, 2016-03-15T06:22:50Z
Henke, Friedrich Wilhelm von [Other]; Dold, Axel [Other]; Rueß, Harald [Other]; Schwier, Detlef [Other]; Strecker, Martin [Other]

Construction and deduction methods for the formal development of software

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Ulmer Informatik-Berichte ; 94,09
Bartels, Falk [Other]; Dold, Axel [Other]; Pfeifer, Holger [Other]; Henke, Friedrich Wilhelm von [Other]; Rueß, Harald [Other]

Formalizing fixed-point theory in PVS

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

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

Construction and deduction methods for the formal development of software

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Formalizing fixed-point theory in PVS

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2023

Published in: Formal Methods
Rueß, Harald

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1997

Published in: Lecture Notes in Computer Science
Rueß, Harald

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1996

Published 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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1996

Published in: Formal Methods in Computer-Aided Design
Sorea, Maria; Ruess, Harald

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

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2007

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

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2003

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

Rewriting Techniques and Applications: Combining Shostak Theories

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: Rewriting Techniques and Applications

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication