Author of the publication

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

Dominance constraints with Boolean connectives: a model-eliminative treatment.. Theor. Comput. Sci., 293 (2): 321-343 (2003)High-level methodologies for grammar engineering, introduction to the special issue., and . J. Language Modelling, 3 (1): 5-19 (2015)Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants., , and . TAMC, volume 7287 of Lecture Notes in Computer Science, page 435-447. Springer, (2012)Topological Dependency Trees: A Constraint-Based Account of Linear Precedence., and . ACL, page 180-187. Morgan Kaufmann Publishers, (2001)An efficient graph algorithm for dominance constraints., , , , , and . J. Algorithms, 48 (1): 194-219 (2003)Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants, , and . CoRR, (2011)Logic programming in the context of multiparadigm programming: the Oz experience, , , , , and . CoRR, (2002)Metagrammar Redux., and . CSLP, volume 3438 of Lecture Notes in Computer Science, page 32-47. Springer, (2004)Fractal Parallelism: Solving SAT in Bounded Space and Time., , and . ISAAC (1), volume 6506 of Lecture Notes in Computer Science, page 279-290. Springer, (2010)Biomolecular Agents as Multi-behavioural Concurrent Objects., and . Electron. Notes Theor. Comput. Sci., 150 (1): 31-49 (2006)