Carsten Fuhs - Veröffentlichungen allgemein

(1 - 5 von 5

)

Better Termination Proving through Cooperation | SpringerLink

link.springer.com

One of the difficulties of proving program termination is managing the subtle interplay between the finding of a termination argument and the finding of the...

Proving Termination of Integer Term Rewriting | SpringerLink

link.springer.com

When using rewrite techniques for termination analysis of programs, a main problem are pre-defined data types like integers. We extend term rewriting by...

WScT08-Registration - Termination-Portal.org

termination-portal.org

2 Jun Carsten Fuhs. Raúl Gutiérrez,. Évelyne Contejean. I and ...

Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using...

link.springer.com

Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance...

Verwandte Suchanfragen zu Carsten Fuhs

Fabian Emmes
Florian Frohn
Jürgen Giesl

Peter Schneider-Kamp
Stephan Schulz
Rainer Kunkel

Stephan Falke
Jürgen Machmeier
Frank Fuhs

Person "Fuhs" (2)
Vorname "Carsten" (22323)
Name "Fuhs" (335)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Carsten Fuhs

Better Termination Proving through Cooperation | SpringerLink

Proving Termination of Integer Term Rewriting | SpringerLink

WScT08-Registration - Termination-Portal.org

Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using...