Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings 1990
DBLP:	db/conf/aluacs/aluacs1988.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 16  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Joel Berman. The value of free algebras.	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings 1990	(0)	1988
	Conference paper Isidore Fleischer. The abstract Galois theory: a survey.	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings 1990	(0)	1988
	Conference paper H. Peter Gumm. Continuations of logic programs.	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings 1990	(0)	1988
	Conference paper Fernando Guzmán. The implications in conditional logic.	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings 1990	(0)	1988
	Conference paper Lawrence S. Moss, Satish R. Thatte. Optimal semantics of data type extensions.	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings 1990	(0)	1988
	Conference paper G. C. Nelson. Other logics for (equational) theories.	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings 1990	(0)	1988
	Conference paper István Németi. On cylindric algebraic model theory.	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings 1990	(0)	1988
	Conference paper Vaughan R. Pratt. Dynamic algebras as a well-behaved fragment of relation algebras.	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings 1990	(0)	1988
	Conference paper Ivo G. Rosenberg. Mal'cev algebras for universal algebra terms.	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings 1990	(0)	1988
	Conference paper Ildikó Sain. Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic.	Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings 1990	(0)	1988

Show item 1 to 10 of 16  

Your query returned 16 matches in the database.