Initial computability, algebraic specifications, and partial algebras /

Algebraic approaches to program semantics /
by: Manes, Ernest G., 1943-
Published: (1986)

Modern computer algebra /
by: Gathen, Joachim von zur
Published: (1999)

Data semantics (DS-1) : proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1), Hasselt, Belgium, 7-11 January, 1985 /
Published: (1986)

Action refinement in process algebras /
by: Aceto, Luca
Published: (1992)

Algebraic Logic and Universal Algebra in Computer Science : Proceedings of a Conference, Ames, Iowa, USA. June 1-4, 1988 /
by: Bergman, Clifford H.
Published: (1990)

Polynomial Algorithms in Computer Algebra /
by: Winkler, Franz
Published: (1996)

An algebraic approach to compiler design /
by: Sampaio, Augusto
Published: (1997)

Computer algebra with SymbolicC++ /
by: Hardy, Yorick, 1976-
Published: (2008)

Modern computer algebra /
by: Gathen, Joachim von zur, et al.
Published: (2013)

Modern computer algebra /
by: Gathen, Joachim von zur
Published: (2003)

The logic of partial information /
by: Nait Abdallah, Areski, 1950-
Published: (1995)

Computer algebra and parallelism /
Published: (1989)

Domain-theoretic foundations of functional programming /
by: Streicher, Thomas, 1958-
Published: (2006)

Universal Algebra for Computer Scientists /
by: Wechler, Wolfgang
Published: (1992)

Process Algebra with Timing /
by: Baeten, J. C. M.
Published: (2002)

Programming language structures /
by: Organick, Elliott I. (Elliott Irving), 1925-1985, et al.
Published: (1978)

Computational semantics with functional programming /
by: Eijck, J. van (Jan)
Published: (2010)

Truth, deduction, and computation : logic and semantics for computer science /
by: Davis, Ruth E.
Published: (1989)

Logics of specification languages /
Published: (2008)

Semantics and logics of computation /
Published: (1997)

Applications of Computer Algebra /
by: Pavelle, Richard
Published: (1985)

Computer algebra and parallelism : second international workshop, Ithaca, USA, May 1990 proceedings /
Published: (1992)

Introduction to computer science with applications in Pascal /
by: Garland, Stephen J.
Published: (1986)

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings /
Published: (1988)

The formal semantics of programming languages : an introduction /
by: Winskel, G. (Glynn)
Published: (1993)

Mathematical logic in computer science /
Published: (1981)

Logic and specification : extending VDM-SL for advanced formal specification /
by: Middelburg, Cornelis A.
Published: (1993)

Applications of geometric algebra in computer science and engineering /
Published: (2002)

Nondeterminism in algebraic specification and algebraic programs /
by: Hussmann, Heinrich, 1959-
Published: (1993)

Algebraic specification /
Published: (1989)

Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 /
Published: (1994)

Natural language at the computer : proceedings /
Published: (1988)

Information algebras : generic structures for inference /
by: Kohlas, Jürg, 1939-
Published: (2003)

Journal on data semantics IX /
Published: (2007)

Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings /
Published: (2005)

Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings /
Published: (2007)