hugh glaser
Principles of Declarative Programming
Print on DemandInhaltsangabeLogic programming and model checking.- CAT: The Copying Approach to Tabling.- SICStu...
Programming Languages: Implementations, Logics, and Programs
Print on DemandThis volume constitutes the refereed proceedings of the 9th International Symposium on Programmin...
- 1