Rocha, Ricardo
- Parallel Logic Programming: A Sequel
2021/11/22 by Agostino Dovier, Andrea Formisano, Dovier, Agostino +9 · 1 voice
Computer Science · #Advanced Database Systems and Queries #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.AI #cs.DC #cs.LO #cs.PL
- On Applying Or-Parallelism and Tabling to Logic Programs
2003/08/04 by Ricardo Rocha, Fernando Silva, Rocha, Ricardo +4 · 1 citation
Computer Science · #Advanced Algebra and Logic #D.1.6 #D.3.2 #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.PL