1
Published 2007
Table of Contents: ... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... in Noisy Pattern Matching -- Integrating an Efficient Authorization Protocol with Trigon-Based...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook