Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, Usa June 1-4, 1988 Proceedings (Lecture Notes In Computer Science): ... USA June 1–4, 1988 Proceedings: 425 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Algebraic Logic and Universal Algebra in Computer Science:...
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 14, 1988 Proceedings: 425 (Lecture Notes in Computer Science, 425)
Editore:
Springer-Verlag New York Inc, 1990
ISBN 10: 0387972889
ISBN 13: 9780387972886
Antico o usato
Soft cover
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
Soft cover. Condizione: Very Good. 292 pages, a very good paperback, ex-library [0387972889]. Codice articolo 111259
Compra usato
EUR 10,64
Spese di spedizione:
EUR 9,08
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings (Lecture Notes in Computer Science, 425)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2215580175005
Compra nuovo
EUR 52,96
Spese di spedizione:
EUR 3,45
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings (Lecture Notes in Computer Science, 425)
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9780387972886
Compra nuovo
EUR 53,62
Spese di spedizione:
EUR 7,75
In U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings (Lecture Notes in Computer Science, 425)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780387972886_new
Compra nuovo
EUR 57,44
Spese di spedizione:
EUR 13,60
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9780387972886
Compra nuovo
EUR 55,85
Spese di spedizione:
EUR 17,58
Da: Regno Unito a: U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Algebraic Logic and Universal Algebra in Computer Science
Editore:
Springer New York, Springer New York Nov 2000, 2000
ISBN 10: 0387972889
ISBN 13: 9780387972886
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9780387972886
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings
Editore:
Springer-Verlag New York Inc., 2000
ISBN 10: 0387972889
ISBN 13: 9780387972886
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 525. Codice articolo C9780387972886
Compra nuovo
EUR 66,52
Spese di spedizione:
EUR 18,16
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science. Conference, Ames, Iowa, Usa, June 1-4, 1988. Proceedings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 292 pages. 9.40x6.30x0.70 inches. In Stock. Codice articolo x-0387972889
Compra nuovo
EUR 79,51
Spese di spedizione:
EUR 14,19
Da: Regno Unito a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Algebraic Logic and Universal Algebra in Computer Science
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 5912972
Compra nuovo
EUR 48,37
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Algebraic Logic and Universal Algebra in Computer Science
Editore:
Springer New York, Springer New York Nov 2000, 2000
ISBN 10: 0387972889
ISBN 13: 9780387972886
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9780387972886
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili