Sciweavers

10392 search results - page 282 / 2079
» Introduction to Computer Science
Sort
View
128
Voted
MFCS
1995
Springer
15 years 10 months ago
From Timed Automata to Logic - and Back
François Laroussinie, Kim Guldstrand Larsen...
128
Voted
RTA
1995
Springer
15 years 10 months ago
Explicit Substitutions with de Bruijn's Levels
Pierre Lescanne, Jocelyne Rouyer-Degli
129
Voted
RTA
1995
Springer
15 years 10 months ago
Rewrite Systems for Integer Arithmetic
H. R. Walters, Hans Zantema
SOFSEM
1995
Springer
15 years 10 months ago
The Fusion Object-Oriented Method: an Evaluation
Alain Pirotte, Thierry Van den Berghe, Esteban Zim...
164
Voted
STACS
1995
Springer
15 years 10 months ago
On Codings of Traces
Volker Diekert, Anca Muscholl, Klaus Reinhardt