Treffer 1 - 20 von 41 für Suche 'Goguen, Joseph', Suchdauer: 0,46s Treffer weiter einschränken
  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

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A categorical manifesto

    A categorical manifesto von Goguen, Joseph 1941-2006

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    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

    Zu den Favoriten
    Gespeichert in:
  4. 4
    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

    Zu den Favoriten
    Gespeichert in:
  5. 5
    One, none, a hundred thousand specification languages

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

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    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

    Zu den Favoriten
    Gespeichert in:
  7. 7
    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

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Semantic specifications for the rewrite rule machine

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

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    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

    Zu den Favoriten
    Gespeichert in:
  10. 10
    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

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A categorical manifesto

    A categorical manifesto von Goguen, Joseph 1941-2006

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    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

    Zu den Favoriten
    Gespeichert in:
  13. 13
    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

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Introducing OBJ3

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  16. 16
    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

    Zu den Favoriten
    Gespeichert in:
  17. 17
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: