Articoli correlati a 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 (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.
Compra usato
Condizioni: molto buono292 pages, paperback, a very good...
Visualizza questo articolo
EUR 13,24
EUR 8,46 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati 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, paperback, a very good ex-library copy [0387972889]. Codice articolo 111259
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic Logic and Universal Algebra in Computer Science
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 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
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
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: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780387972886_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1¿4, 1988 Proceedings
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9780387972886
Quantità: 1 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
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
Quantità: 2 disponibili
Immagini fornite dal venditore
Algebraic Logic and Universal Algebra in Computer Science
Editore:
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
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2215580175005
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): . a Conference, Ames, Iowa, USA. June 1-4, 1988
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9780387972886
Quantità: 10 disponibili