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: 410
Pages: 410
Type: BOOK - Published: 2013-03-19 - Publisher: Springer Science & Business Media
Logic functions and equations are (some of) the most important concepts of Computer Science with many applications such as Binary Arithmetics, Coding, Complexit
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: 232
Pages: 232
Type: BOOK - Published: 2009-01-29 - Publisher: Springer Science & Business Media
Tsutomu Sasao – Kyushu Institute of Technology, Japan The material covered in this book is quite unique especially for p- ple who are reading English, since s
Language: en
Pages: 452
Pages: 452
Type: BOOK - Published: 1991-08-14 - Publisher: Springer Science & Business Media
This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Pr
