Sciweavers

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