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...
RTA
1995
Springer
15 years 10 months ago
Explicit Substitutions with de Bruijn's Levels
Pierre Lescanne, Jocelyne Rouyer-Degli
SOFSEM
1995
Springer
15 years 10 months ago
The Fusion Object-Oriented Method: an Evaluation
Alain Pirotte, Thierry Van den Berghe, Esteban Zim...
STACS
1995
Springer
15 years 10 months ago
On Codings of Traces
Volker Diekert, Anca Muscholl, Klaus Reinhardt