Related Books
Language: en
Pages: 330
Pages: 330
Type: BOOK - Published: 1997-03-18 - Publisher: World Scientific
This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantic
Language: en
Pages: 342
Pages: 342
Type: BOOK - Published: 1995-11-16 - Publisher: World Scientific
This volume is a compilation of the papers presented at the Fuji International Workshop on Functional and Logic Programming in Fuji, Susono, Japan. Topics inclu
Language: en
Pages: 364
Pages: 364
Type: BOOK - Published: 1998 - Publisher: Pearson Education
Language: en
Pages: 393
Pages: 393
Type: BOOK - Published: 2004-11-15 - Publisher: Cambridge University Press
This book illustrates linear logic in the application of proof theory to computer science.
Language: en
Pages: 572
Pages: 572
Type: BOOK - Published: 2005-02-09 - Publisher: Springer
This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004,