Equational Logic As A Programming Language
Download Equational Logic As A Programming Language full books in PDF, epub, and Kindle. Read online free Equational Logic As A Programming Language ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Related Books
Language: en
Pages: 334
Pages: 334
Type: BOOK - Published: 1985 - Publisher: MIT Press (MA)
This book describes an ongoing equational programming project that started in 1975. Within the project an equational programming language interpreter has been d
Language: en
Pages: 268
Pages: 268
Type: BOOK - Published: 2014-01-15 - Publisher:
Language: en
Pages: 264
Pages: 264
Type: BOOK - Published: 1989 - Publisher: Lecture Notes in Artificial Intelligence
Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate
Language: en
Pages: 636
Pages: 636
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of
Language: en
Pages: 193
Pages: 193
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and v