Sciweavers

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