Mathematical Logic in Computer Science

• Author(s): B. Dömölki, T. Gergely,
• Publisher: Elsevier Science
• Pages: 758
• ISBN_10: 0444854401
  ISBN_13: 9780444854407
  
• Language: en
• Categories: Mathematics / Applied , Mathematics / Discrete Mathematics , Mathematics / History & Philosophy ,

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