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

A categorical manifesto von Goguen, Joseph 1941-2006

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

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

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

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

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

Algebraic semantics of imperative programs von Goguen, Joseph 1941-2006, Malcolm, Grant

Inhaltsverzeichnis

Algebraic semantics of imperative programs von Goguen, Joseph 1941-2006

Volltext öffnen

Four pieces on error, truth and reality von Goguen, Joseph 1941-2006

Order-sorted algebra von Goguen, Joseph 1941-2006, Meseguer, José

What is unification? a categorical view of substitution, equation and solution von Goguen, Joseph 1941-2006

What is unification? a categorical view of substitution, equation and solution von Goguen, Joseph 1941-2006

An abstract machine for fast parallel matching for linear patterns von Montanari, Ugo 1943-, Goguen, Joseph 1941-2006

Concurrent term rewriting as a model of computation von Goguen, Joseph 1941-2006, Kirchner, Claude, Meseguer, José

Order sorted unification von Meseguer, José, Goguen, Joseph 1941-2006, Smolka, Gert 1955-

Models and equality for logical programming von Goguen, Joseph 1941-2006, Meseguer, José

Crew communications as a factor in aviation accidents von Goguen, Joseph, Linde, Charlotte, Murphy, Miles

Deduction with many sorted rewrite von Meseguer, José, Goguen, Joseph 1941-2006

Parameterized programming von Goguen, Joseph 1941-2006, Meseguer, José