Applications of Algebraic Logic and Universal Algebra to Computer Science

Abstract

A four-day conference was held at Iowa State University oriented around the topics stated in the project title. Approximately 80 people attended the conference, with roughly equal representation from Mathematics and Computer Science. The conference consisted of eight invited lectures (60 minutes each) and 26 contributed talks (20-40 minutes each). There was also a round-table discussion on the role of algebra and logic in computer science. Keywords: Programming logic, Conditional logic, Programming language, Calculus, Algebraic curves.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 21, 1989
Accession Number
ADA210556

Entities

Organizations

  • Iowa State University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Automata
  • Automata Theory
  • Calculus
  • California
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Databases
  • Identities
  • Language
  • Mathematics
  • Notation
  • Programming Languages
  • Theoretical Computer Science
  • Trees (Data Structures)

Fields of Study

  • Education

Readers

  • Academic Conference Management
  • Artificial Intelligence
  • Computational Modeling and Simulation