Accession Number:

ADA210556

Title:

Applications of Algebraic Logic and Universal Algebra to Computer Science

Descriptive Note:

Final rept. 1 May 1989-30 Apr 1989

Corporate Author:

IOWA STATE UNIV AMES DEPT OF MATHEMATICS

Personal Author(s):

Report Date:

1989-06-21

Pagination or Media Count:

28.0

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.

Descriptors:

• *ALGEBRA
• *PROGRAMMING LANGUAGES
• LOGIC
• CALCULUS
• APPLIED MATHEMATICS
• COMPUTER PROGRAMMING
• COMPUTERS

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE