ask others

Algebraic Logic and Universal Algebra in Computer Science 1988: Ames, Iowa, USA

> Home > Conferences and Workshops > Algebraic Logic and Universal Algebra in Computer Science

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/1988
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/1988
Clifford Bergman, Roger D. Maddux, Don Pigozzi:
Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings. Lecture Notes in Computer Science 425, Springer 1990, ISBN 3-540-97288-9

Invited Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/AndrekaJN88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/AndrekaJN88
Hajnal Andréka, Bjarni Jónsson, István Németi:
Relatively free relation algebras. 1-14
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Berman88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Berman88
Joel Berman:
The value of free algebras. 15-26
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Gumm88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Gumm88
H. Peter Gumm:
Continuations of logic programs. 27-36
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Nemeti88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Nemeti88
István Németi:
On cylindric algebraic model theory. 37-75
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Pratt88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Pratt88
Vaughan R. Pratt:
Dynamic algebras as a well-behaved fragment of relation algebras. 77-110
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Wagner88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Wagner88
Eric G. Wagner:
All recursive types defined using products and sums can be implemented using pointers. 111-132

Contributed Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Fleischer88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Fleischer88
Isidore Fleischer:
The abstract Galois theory: a survey. 133-137
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Guzman88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Guzman88
Fernando Guzmán:
The implications in conditional logic. 139-159
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/MossT88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/MossT88
Lawrence S. Moss, Satish R. Thatte:
Optimal semantics of data type extensions. 161-180
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Nelson88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Nelson88
George C. Nelson:
Other logics for (equational) theories. 181-194
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Rosenberg88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Rosenberg88
Ivo G. Rosenberg:
Mal'cev algebras for universal algebra terms. 195-208
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Sain88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Sain88
Ildikó Sain:
Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic. 209-225
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Stachniak88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Stachniak88
Zbigniew Stachniak:
The resolution rule: an algebraic perspective. 227-242
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Suchenek88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Suchenek88
Marek A. Suchenek:
Incremental models of updating data bases. 243-271
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Thompson88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Thompson88
Richard J. Thompson:
Noncommutative cylindric algebras and relativizations of cylindric algebras. 273-278
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aluacs/Zaionc88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aluacs/Zaionc88
Marek Zaionc:
On the "lambda"-definable tree operations. 279-292

maintained by

at