Treffer 1 – 20 von 38 für Suche 'Goguen, Joseph 1941-2006', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Final algebras, cosemicomputable algebras, and degrees of unsolvability

    Final algebras, cosemicomputable algebras, and degrees of unsolvability von Moss, Lawrence S., Meseguer, José, Goguen, Joseph 1941-2006

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A categorical manifesto

    A categorical manifesto von Goguen, Joseph 1941-2006

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    OBJ as theorem prover with applications to hardware verification

    OBJ as theorem prover with applications to hardware verification von Goguen, Joseph 1941-2006

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Higher order functions considered unnecessary for higher order programming

    Higher order functions considered unnecessary for higher order programming von Goguen, Joseph 1941-2006

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Order sorted algebra solves the constructor-selector, multiple representation and coercion problems

    Order sorted algebra solves the constructor-selector, multiple representation and coercion problems von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Unifying functional, object-oriented and relational programming with logical semantics

    Unifying functional, object-oriented and relational programming with logical semantics von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    One, none, a hundred thousand specification languages

    One, none, a hundred thousand specification languages von Goguen, Joseph 1941-2006

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Order sorted algebra solves the constructor-selector, multiple representation and coercion problems

    Order sorted algebra solves the constructor-selector, multiple representation and coercion problems von Meseguer, José, Goguen, Joseph 1941-2006

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Compiling concurrent rewriting onto the rewrite rule machine

    Compiling concurrent rewriting onto the rewrite rule machine von Aida, Hitoshi, Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Semantic specifications for the rewrite rule machine

    Semantic specifications for the rewrite rule machine von Goguen, Joseph 1941-2006

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    A categorical manifesto

    A categorical manifesto von Goguen, Joseph 1941-2006

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Order-sorted Algebra I equational deduction for multiple inheritance, overloading, exceptions and partial operations

    Order-sorted Algebra I equational deduction for multiple inheritance, overloading, exceptions and partial operations von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Cell, tile and ensemble architecture of the rewrite rule machine

    Cell, tile and ensemble architecture of the rewrite rule machine von Goguen, Joseph 1941-2006, Leinwand, Sany, Winkler, Timothy

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Introducing OBJ3

    Introducing OBJ3 von Goguen, Joseph 1941-2006, Winkler, Timothy

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Software for the rewrite rule machine

    Software for the rewrite rule machine von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Unifying functional, object-oriented and relational programming with logical semantics

    Unifying functional, object-oriented and relational programming with logical semantics von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Final algebras, cosemicomputable algebras, and degrees of unsolvability

    Final algebras, cosemicomputable algebras, and degrees of unsolvability von Moss, Lawrence S., Meseguer, José, Goguen, Joseph 1941-2006

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Modular algebraic specification of some basic geometrical constructions

    Modular algebraic specification of some basic geometrical constructions von Goguen, Joseph 1941-2006

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    A study in the foundations of programming methodology specifications, institutions, charters and parchments

    A study in the foundations of programming methodology specifications, institutions, charters and parchments von Goguen, Joseph 1941-2006, Burstall, Rod M. 1934-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Institutions abstract model theory for computer science

    Institutions abstract model theory for computer science von Goguen, Joseph 1941-2006, Burstall, Rod M.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: