Suchergebnisse - Geser, Alfons

  • Treffer 1 – 15 von 15
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Relative Termination
    von Geser, Alfons

    Veröffentlicht 1990
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A solution to Zantema's problem
    von Geser, Alfons

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    An improved general path order
    von Geser, Alfons

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    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


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    On a monotonic semantic path ordering
    von Geser, Alfons

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Relative termination
    von Geser, Alfons

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    On a monotonic semantic path ordering
    von Geser, Alfons

    Veröffentlicht 1992
    Buch


    Gespeichert in:

Suchwerkzeuge: