Sciweavers

10666 search results - page 448 / 2134
» Quantum programming languages
Sort
View
149
Voted
ICMT
2009
Springer
16 years 1 months ago
Efficient Model Transformations by Combining Pattern Matching Strategies
Gábor Bergmann, Ákos Horváth,...
CP
2007
Springer
16 years 1 months ago
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs
Nic Wilson, Diarmuid Grimes, Eugene C. Freuder
ICALP
2007
Springer
16 years 1 months ago
Unrestricted Aggregate Signatures
Mihir Bellare, Chanathip Namprempre, Gregory Neven
ICALP
2007
Springer
16 years 1 months ago
Categorical Views on Computations on Trees (Extended Abstract)
Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu
ICALP
2007
Springer
16 years 1 months ago
On the Power of k -Consistency
Albert Atserias, Andrei A. Bulatov, Víctor ...