Treffer 1 - 20 von 26 für Suche 'Pfenning, Frank', Suchdauer: 0,37s Treffer weiter einschränken
  1. 1
    von Pfenning, Frank
    Veröffentlicht 1988
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    von Pfenning, Frank
    Veröffentlicht 1996
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Types in logic programming
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    von Pfenning, Frank
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    von Dietzen, Scott
    Veröffentlicht 1989
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    von Harper, Robert
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    von Michaylov, Spiro
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Relating Message Passing and Shared Memory, Proof-Theoretically
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    von Cervesato, Iliano
    Veröffentlicht 1996
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    von Pfenning, Frank
    Veröffentlicht 1989
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A Logical Framework with Higher-Order Rational (Circular) Terms
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22 - 25, 2003 ; proceedings
    Veröffentlicht 2003
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Logic programming and automated reasoning : proceedings
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Generative programming and component engineering : second International Conference ; proceedings
    Veröffentlicht 2003
    Vorwort
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedings
    Veröffentlicht 2007
    Cover
    Inhaltstext
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    von Pfenning, Frank
    Veröffentlicht 1989
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Logic programming and automated reasoning : proceedings
    Veröffentlicht 1994
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994 ; proceedings
    Veröffentlicht 1994
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Manifestly Phased Communication via Shared Session Types
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12 - 14, 2006 ; proceedings
    Veröffentlicht 2006
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    Volltext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: