Search alternatives:
tables algorithms » tableau algorithms, trees algorithms, types algorithms
Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”
Cover Image
Read Now

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- Incremental Tabling for Query-Driven Propagation of Logic Program Updates -- Tracking Data-Flow with Open...”