Secure CheckoutPersonal information is secured with SSL technology.
Free ShippingFree global shipping
No minimum order.
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.
- © North Holland 1981
- 1st January 1981
- North Holland
- Hardcover ISBN:
Elsevier.com visitor survey
We are always looking for ways to improve customer experience on Elsevier.com.
We would like to ask you for a moment of your time to fill in a short questionnaire, at the end of your visit.
If you decide to participate, a new browser tab will open so you can complete the survey after you have completed your visit to this website.
Thanks in advance for your time.