Author of the publication

CGR: a Tool for Programming Using Schemes.

, , , and . COMPSAC (2), page 347-354. IEEE Computer Society, (2007)978-0-7695-2870-0.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Simultaneous Rigid Sorted Unification for Tableaux., and . Studia Logica, 72 (1): 31-59 (2002)Traversing a BVH Cut to Exploit Ray Coherence., , and . GRAPP, page 140-150. SciTePress, (2011)A Fully GPU-Implemented Rigid Body Simulator., , , and . GRAPP, page 342-349. (2008)A Tool for Automatic Code Generation from Schemas., , and . ICCS (2), volume 5545 of Lecture Notes in Computer Science, page 63-73. Springer, (2009)Generating Coherent Ray Directions in Path Tracing., , and . CEIG, page 81-90. Eurographics Association, (2012)Improving Ray Traversal by using Several Specialized Kd-trees., , , and . GRAPP/IVAPP, page 215-226. SciTePress, (2012)Free Variable Tableaux for a Logic with Term Declarations., , and . TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 202-216. Springer, (1998)Monotonic Preorders for Free Variable Tableaux., and . TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 309-323. Springer, (2000)CUDA Solutions for the SSSP Problem., , and . ICCS (1), volume 5544 of Lecture Notes in Computer Science, page 904-913. Springer, (2009)Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux., , , and . AISMC, volume 1138 of Lecture Notes in Computer Science, page 365-379. Springer, (1996)