Author of the publication

Groupoids and Conditional Symmetry.

, , , , and . CP, volume 4741 of Lecture Notes in Computer Science, page 823-830. Springer, (2007)

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

The monoids of orders eight, nine & ten., and . Ann. Math. Artif. Intell., 56 (1): 3-21 (2009)Web-Scale Distributed eScience AI Search across Disconnected and Heterogeneous Infrastructures., , and . eScience, page 39-46. IEEE Computer Society, (2014)The Exact Closest String Problem as a Constraint Satisfaction Problem, and . CoRR, (2010)Formal Methods for Extensions to CAS., , , and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1758-1777. Springer, (1999)Symmetry and Consistency., , , and . CP, volume 3709 of Lecture Notes in Computer Science, page 271-285. Springer, (2005)Conditional Symmetry Breaking., , , , , and . CP, volume 3709 of Lecture Notes in Computer Science, page 256-270. Springer, (2005)The Monoids of Order Eight and Nine., and . AISC/MKM/Calculemus, volume 5144 of Lecture Notes in Computer Science, page 61-76. Springer, (2008)Design Verification for Control Engineering., , , , and . IFM, volume 2999 of Lecture Notes in Computer Science, page 21-35. Springer, (2004)Groups and Constraints: Symmetry Breaking during Search., , and . CP, volume 2470 of Lecture Notes in Computer Science, page 415-430. Springer, (2002)Tractable Symmetry Breaking Using Restricted Search Trees., , , and . ECAI, page 211-215. IOS Press, (2004)