Browse
All of DSpaceCommunities & CollectionsBy Issue-DateAuthorsTitlesSubjectsThis CommunityBy Issue-DateAuthorsTitlesSubjects
My Account
Discover
AuthorKifer, Michael (2)
Stoller, Scott (2)
Warren, David (2)
Basseda, Reza (1)Brandvein, Jonathan Glenn (1)Liu, Yanhong (1)Liu, Yanhong A (1)Norvig, Peter (1)Zhou, Neng-Fa. (1)Subject
Computer science (2)
Automatic Incrementalization (1)Deductive Planning, Planning, Planning Strategies, State Space Planning, STRIPS, Transaction Logic (1)Demand-driven Computation (1)Invariant-based Transformation (1)Object Queries (1)Program Optimization (1)Query Constructs (1)... View MoreDate Issued2015 (1)2016 (1)Has File(s)Yes (2)