Sciweavers

10666 search results - page 95 / 2134
» Quantum programming languages
Sort
View
IFIP
1993
Springer
14 years 1 months ago
A Synthetic Reasoning Method for Conceptual Design
Masaki Ishii, Tetsuo Tomiyama, Hiroyuki Yoshikawa
ICALP
1994
Springer
14 years 1 months ago
Optimal Two-Dimensional Compressed Matching
Amihood Amir, Gary Benson, Martin Farach
ICALP
1994
Springer
14 years 1 months ago
Determinizing Asynchronous Automata
Nils Klarlund, Madhavan Mukund, Milind A. Sohoni