Colog-88
Subtitle: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)
Contributors: Per Martin-Lvf (Editor); Grigori Mints (Editor); Per Martin-Lof (Other Contributor)
Publisher: Springer
Published: March 1990
Language: eng
Format: Paperback
Number of pages: 338
ISBN-13: 9783540523352
Subjects: Logic; Machine Theory; Programming - Software Development; Artificial intelligence; Mathematical logic; Mathematical theory of computation; Philosophy of mathematics; Computers - General Information; Mathematics
First sentence: We investigate the processes admitting algebraic specifications.