Proceedings of a symposium on logic in computer science
Conference
·
OSTI ID:6118612
This book presents the papers given at a conference on the mathematical logic of computers. Topics considered at the conference included order-sorted algebra, models of concurrency, stratified logic programming, optimization problems for database logic problems, concurrent programs, programming languages, and inference rules for rewrite-based first-order theorem proving.
- OSTI ID:
- 6118612
- Report Number(s):
- CONF-8706145-
- Country of Publication:
- United States
- Language:
- English
Similar Records
Proceedings of the symposium on logic in computer science
Proceedings of STACS 84-symposium on theoretical aspects of computer science
Proceedings of the 27th annual symposium on foundations of computer science
Conference
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6536678
Proceedings of STACS 84-symposium on theoretical aspects of computer science
Conference
·
Sat Dec 31 23:00:00 EST 1983
·
OSTI ID:7190175
Proceedings of the 27th annual symposium on foundations of computer science
Conference
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6441266
Related Subjects
99 GENERAL AND MISCELLANEOUS
990230* -- Mathematics & Mathematical Models-- (1987-1989)
ABSTRACTS
ALGEBRA
ALGORITHMS
COMPUTERS
DATA BASE MANAGEMENT
DOCUMENT TYPES
LEADING ABSTRACT
MANAGEMENT
MATHEMATICAL LOGIC
MATHEMATICS
MEETINGS
OPTIMIZATION
PARALLEL PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES
990230* -- Mathematics & Mathematical Models-- (1987-1989)
ABSTRACTS
ALGEBRA
ALGORITHMS
COMPUTERS
DATA BASE MANAGEMENT
DOCUMENT TYPES
LEADING ABSTRACT
MANAGEMENT
MATHEMATICAL LOGIC
MATHEMATICS
MEETINGS
OPTIMIZATION
PARALLEL PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES