17 search results - page 4 / 4 » On Model-Checking Trees Generated by Higher-Order Recursion ... |
ENTCS
2010
13 years 5 months ago
2010
Solutions of recursive program schemes over a given signature were characterized by Bruno Courcelle as precisely the context-free (or algebraic) -trees. These are the finite and ...
EGH
2009
Springer
13 years 3 months ago
2009
Springer
High fidelity rendering via ray tracing requires tracing incoherent rays for global illumination and other secondary effects. Recent research show that the performance benefits fr...