Back to School Savings: Save up to 30% on print books and eBooks. No promo code needed.

Back to School Savings: Save up to 30%

Mathematical Logic in Computer Science

1st Edition

Authors: B. Dömölki, T. Gergely

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:-… Read more

Image - Mathematical Logic in Computer Science

Purchase Options

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code is needed.

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.