Suchergebnisse - Nipkow, Tobias 1958-

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

    Functional algorithms, verified!
    von Nipkow, Tobias 1958-, Blanchette, Jasmin

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


    Gespeichert in:
  2. 2
    Buchumschlag

    Concrete semantics: with Isabelle/HOL
    von Nipkow, Tobias 1958-, Klein, Gerwin 1975-

    Veröffentlicht 2014
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Isabelle, HOL: a proof assistant for higher-order logic
    von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

    Veröffentlicht 2002
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Higher-order rewrite systems and their confluence
    von Mayr, Richard, Nipkow, Tobias 1958-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Non-deterministic data types: models and implementations
    von Nipkow, Tobias 1958-

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Isabelle, HOL: a proof assistant for higher-order logic
    von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

    Veröffentlicht 2002
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Term rewriting and all that
    von Baader, Franz 1959-, Nipkow, Tobias 1958-

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Term rewriting and all that
    von Baader, Franz 1959-, Nipkow, Tobias 1958-

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Behavioural implementation concepts for nondeterministic data types
    von Nipkow, Tobias 1958-

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Higher order rewrite systems and their confluence
    von Mayr, Richard, Nipkow, Tobias 1958-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Proof transformations for equational theories
    von Nipkow, Tobias 1958-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Term rewriting and all that
    von Baader, Franz

    Veröffentlicht 1998
    Weitere beteiligte Personen: “… Nipkow, Tobias 1958- …”
    Online lesen
    E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

    Formal verification of data type refinement: theory and practice
    von Nipkow, Tobias 1958-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Ordered rewriting and confluence
    von Martin, Ursula, Nipkow, Tobias 1958-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Term rewriting and all that
    von Baader, Franz 1959-, Nipkow, Tobias 1958-

    Veröffentlicht 2009
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Type classes and overloading resolution via order-sorted unification
    von Nipkow, Tobias 1958-, Snelting, Gregor

    Veröffentlicht 1990
    Buch


    Gespeichert in:

Suchwerkzeuge: