| Ricardo Rocha Pages in this Program | All Proceedings Papers | | CHR on Friday, July 18th | | CHR Program | | CICLOPS-WLPE 2014 Papers | | CICLOPS-WLPE 2014 Papers: Papers with Abstracts | | CICLOPS-WLPE on Friday, July 18th | | CICLOPS-WLPE on Thursday, July 17th | | CICLOPS-WLPE Program | | ICLP 2014 VSL proceedings | | ICLP 2014 VSL proceedings: Papers with Abstracts | | ICLP on Monday, July 21st | | ICLP on Saturday, July 19th | | ICLP Program | | Paper: A Linear Logic Programming Language for Concurrent Programming over Graph Structures | | Paper: A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs | | Paper: A Portable Prolog Predicate for Printing Rational Terms | | Paper: A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling | | Paper: Tabling, Rational Terms, and Coinduction Finally Together! | | Program | | Program for Friday, July 18th | | Program for Monday, July 21st | | Program for Saturday, July 19th | | Program for Thursday, July 17th |
|
