Suchergebnisse - Bockmayr, Alexander

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

    Narrowing strategies for arbitrary canonical rewrite systems
    von Bockmayr, Alexander, Krischer, Stefan, Werner, Andreas

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Extended Prolog with Boolean unification
    von Bockmayr, Alexander, Rath, Hans H.

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    How to realize LSE narrowing
    von Werner, Andreas, Bockmayr, Alexander, Krischer, Stefan

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Beiträge zur Theorie des logisch-funktionalen Programmierens
    von Bockmayr, Alexander M.

    Veröffentlicht 1990
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Conditional rewriting and narrowing as a theoretical framework for logic-functional programming
    von Bockmayr, Alexander

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Narrowing with inductively defined functions
    von Bockmayr, Alexander

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Beiträge zur Theorie des logisch-funionalen Programmierens
    von Bockmayr, Alexander M.

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Time-optimal adaptation in metabolic network models
    von Köbis, Markus A., Bockmayr, Alexander, Steuer, Ralf

    Veröffentlicht 2022
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Conditional rewriting and narrowing as a theoretical framework for logic-functional programming: a survey
    von Bockmayr, Alexander

    Veröffentlicht 1986
    Buch


    Gespeichert in:

Suchwerkzeuge: