Items related to Algebraic Logic and Universal Algebra in Computer Science:...
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings: 425 (Lecture Notes in Computer Science, 425) - Softcover
Synopsis
The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.
"synopsis" may belong to another edition of this title.
Product Description
The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.
"About this title" may belong to another edition of this title.
Search results for Algebraic Logic and Universal Algebra in Computer Science:...
Stock Image
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 14, 1988 Proceedings: 425 (Lecture Notes in Computer Science, 425)
Published by
Springer-Verlag New York Inc., 1990
ISBN 10: 0387972889
ISBN 13: 9780387972886
Used
Soft cover
Seller: G. & J. CHESTERS, TAMWORTH, United Kingdom
Seller rating 5 out of 5 stars
Soft cover. Condition: Very Good. 292 pages, paperback, a very good ex-library copy [0387972889]. Seller Inventory # 111259
Quantity: 1 available
Stock Image
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings (Lecture Notes in Computer Science, 425)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780387972886_new
Quantity: Over 20 available
Stock Image
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings
Published by
Springer-Verlag New York Inc., 2000
ISBN 10: 0387972889
ISBN 13: 9780387972886
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 525. Seller Inventory # C9780387972886
Quantity: Over 20 available
Seller Image
Algebraic Logic and Universal Algebra in Computer Science
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 c. Seller Inventory # 5912972
Quantity: Over 20 available
Seller Image
Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1¿4, 1988 Proceedings
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9780387972886
Quantity: 1 available
Stock Image
Algebraic Logic and Universal Algebra in Computer Science. Conference, Ames, Iowa, Usa, June 1-4, 1988. Proceedings
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 292 pages. 9.40x6.30x0.70 inches. In Stock. Seller Inventory # x-0387972889
Quantity: 2 available
Seller Image
Algebraic Logic and Universal Algebra in Computer Science
Published by
Springer New York, Springer New York Nov 2000, 2000
ISBN 10: 0387972889
ISBN 13: 9780387972886
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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. 308 pp. Englisch. Seller Inventory # 9780387972886
Quantity: 1 available
Stock Image
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, Usa June 1-4, 1988 Proceedings (Lecture Notes In Computer Science): . a Conference, Ames, Iowa, USA. June 1-4, 1988
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9780387972886
Quantity: 10 available
Seller Image
Algebraic Logic and Universal Algebra in Computer Science
Published by
Springer New York Nov 2000, 2000
ISBN 10: 0387972889
ISBN 13: 9780387972886
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 308 pp. Englisch. Seller Inventory # 9780387972886
Quantity: 2 available
Stock Image
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 14, 1988 Proceedings (Lecture Notes in Computer Science, 425)
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # D8F0-0-M-0387972889-6
Quantity: 1 available