João Raimundo

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

João Raimundo, Ricardo Rocha
A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs. EPIA (2011)
João Raimundo, Ricardo Rocha
Global Trie for Subterms CoRR (2011)
João Raimundo, Ricardo Rocha
Compact Lists for Tabled Evaluation. PADL (2010)
Jorge Costa, João Raimundo, Ricardo Rocha
A Term-Based Global Trie for Tabled Logic Programs. ICLP (2009)