Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
New York, NY :
Springer-Verlag : Springer e-books
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
425 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Actes d'une conférence tenue à Ames du 1er au 4 juin 1988, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Algebraic logic and universal algebra in computer science, conference, Ames, Iowa, USA, June 1-4, 1988, proceedings, C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.), Berlin, Springer-Verlag, 1990, 1 vol. (xi, 292 p.), Lecture notes in computer science, 0-387-97288-9 • Algebraic Logic and Universal Algebra in Computer Science, Texte imprimé, 9781475789294 |
Indholdsfortegnelse:
- Relatively free relation algebras
- The value of free algebras
- Continuations of logic programs
- On cylindric algebraic model theory
- Dynamic algebras as a well-behaved fragment of relation algebras
- All recursive types defined using products and sums can be implemented using pointers
- The abstract Galois theory: A survey
- The implications in conditional logic
- Optimal semantics of data type extensions
- Other logics for (equational) theories
- Mal'cev algebras for universal algebra terms
- Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic
- The resolution rule: An algebraic perspective
- Incremental models of updating data bases
- Noncommutative cylindric algebras and relativizations of cylindric algebras
- On the ?-definable tree operations.