Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by RICARDO ROCHA
The YAP Prolog System
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Table Space Designs for Implicit and Explicit Concurrent Tabled Evaluation
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Related publications
LFG System in Prolog
Prolog
Reihe Rechtswissenschaft
Prolog
Prolog WebSite
Modules for Prolog Revisited
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
WordNet and Prolog: Why Not?
Genetic and Pharmacological Disruption of the TEAD-YAP Complex Suppresses the Oncogenic Activity of YAP
Genes and Development
Genetics
Developmental Biology
PrologCheck – Property-Based Testing in Prolog
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Lazy Stream Programming in Prolog
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
