Treffer 1 - 15 von 15 für Suche 'Geser, Alfons', Suchdauer: 0,18s Treffer weiter einschränken
  1. 1
    Parallelizing functional programs by term rewriting

    Parallelizing functional programs by term rewriting von Geser, Alfons, Gorlač, Sergej

    Veröffentlicht 1997
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    On the relative power of SPO versus semantic labelling composed with RPO

    On the relative power of SPO versus semantic labelling composed with RPO von Geser, Alfons

    Veröffentlicht 1997
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A proof of Higman's Lemma by open induction

    A proof of Higman's Lemma by open induction von Geser, Alfons

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Omega-termination is undecidable for totally terminating term rewriting systems

    Omega-termination is undecidable for totally terminating term rewriting systems von Geser, Alfons

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    On a monotonic semantic path ordering

    On a monotonic semantic path ordering von Geser, Alfons

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Relative termination

    Relative termination von Geser, Alfons

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Relative Termination

    Relative Termination von Geser, Alfons

    Veröffentlicht 1990
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Decidability of termination in a large class of one-rule string rewriting systems

    Decidability of termination in a large class of one-rule string rewriting systems von Geser, Alfons

    Veröffentlicht 1997
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    On normalizing, non-terminating one-rule string rewriting systems

    On normalizing, non-terminating one-rule string rewriting systems von Geser, Alfons

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A solution to Zantema's problem

    A solution to Zantema's problem von Geser, Alfons

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    An improved general path order

    An improved general path order von Geser, Alfons

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    On a monotonic semantic path ordering

    On a monotonic semantic path ordering von Geser, Alfons

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Towards advanced programming environments based on algebraic concepts

    Towards advanced programming environments based on algebraic concepts von Broy, Manfred 1949-, Geser, Alfons, Hußmann, Heinrich 1959-2022

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    A specification of the Intel 8085 microprocessor a case study

    A specification of the Intel 8085 microprocessor a case study von Geser, Alfons

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Rapid prototyping for algebraic specifications examples for the use of the RAP system

    Rapid prototyping for algebraic specifications examples for the use of the RAP system von Geser, Alfons, Hußmann, Heinrich 1959-2022

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: