Cover Image
Read Now

Logic, Algebra, and Computation International Summer School

The Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top researchers in computing, devoted to preach their most recent results to an elite of advanced students - young and most promising people - and prepared to sta...

Full description

Bibliographic Details
Other Authors: Bauer, Friedrich L. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1991, 1991
Edition:1st ed. 1991
Series:NATO ASI Subseries F:, Computer and Systems Sciences
Subjects:
Computer Science Logic And Foundations Of Programming
Software Engineering
Programming Techniques
Computer Science
Computer Programming
Artificial Intelligence
Formal Languages And Automata Theory
Machine Theory
Theory Of Computation
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Theory of Computation and Specification over Abstract Data Types, and its Applications
  • Fundamentals of Deductive Program Synthesis
  • Notes on Resolution
  • au ?-calcul pur
  • Normalization
  • Computability — Logical and Recursive Complexity
  • Reflecting the Open-Ended Computation System of Constructive Type Theory
  • Some Lectures on Modal Logic
  • Formal Approaches to Concurrency
  • The Family of Concurrent Logic Programming Languages

Similar Items