João Raimundo

According to our database1, João Raimundo authored at least 4 papers between 2009 and 2011.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Global Trie for Subterms
CoRR, 2011

A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs.
Proceedings of the Progress in Artificial Intelligence, 2011

2010
Compact Lists for Tabled Evaluation.
Proceedings of the Practical Aspects of Declarative Languages, 2010

2009
A Term-Based Global Trie for Tabled Logic Programs.
Proceedings of the Logic Programming, 25th International Conference, 2009


  Loading...