Mathematical Logic in Computer Science (Colloquia Mathematica Societatis Janos Bolyai S.) - Hardcover

Inhaltsangabe

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 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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.