EKB DL

Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings | EKB DL

EKB DL

Home BookAlgebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

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.

Keywords

ComputersProgrammingMathematicsLogicAlgorithmsData ScienceData Modeling & DesignInformation TechnologyDiscrete MathematicsHistory & Philosophy

2000Book

Author(s)Algebraic Logic and Universal Algebra in Computer Science Conference (1988 Ames, Iowa)

PublisherSpringer New York

ISBN9780387972886

LanguageEnglish

SpringerLink Book

Similar Books

Book

COLOG-88 International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

Book

Algebraic and Logic Programming Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

Book

Algebraic and Logic Programming International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings

Book

Lattices, Semigroups, and Universal Algebra

Book

Algebraic and Logic Programming Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings

Book

CSL'88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

Book

Logic and Algebra of Specification

Book

Applied Algebra, Algebraic Algorithms, and Error-correcting Codes Sixth International Conference, AAECC-6, Rome, Italy, July 1988 : Proceedings

Book

Constructivity in Computer Science Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings

Book

Symbolic and Algebraic Computation International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings