Mathematical Logic in Computer Science
- 1st Edition - January 1, 1981
- Imprint: North Holland
- Authors: B. Dömölki, T. Gergely
- Language: English
- Hardback ISBN:9 7 8 - 0 - 4 4 4 - 8 5 4 4 0 - 7
This volume contains 31 papers prepared for the Colloquium on Mathematical Logic in Programming held in Salgótarján, Hungary. Main topics of the Colloquium include:- Model theoret… Read more
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteThis volume contains 31 papers prepared for the Colloquium on Mathematical Logic in Programming held in Salgótarján, Hungary. Main topics of the Colloquium include:- Model theoretical, universal algebra and category theoretical approaches to program semantics- Logical and model theoretical approaches to program-verification, data representation and problem specification- Logical and model theoretical approaches to theorem proving, automatic programming and automatic problem solving- Very high level, logical based programming languages.
- Edition: 1
- Published: January 1, 1981
- Imprint: North Holland
- Language: English
- Hardback ISBN: 9780444854407