Sciweavers

13306 search results - page 253 / 2662
» Theoretical Computer Science
Sort
View
ICALP
2003
Springer
15 years 11 months ago
Generalized Rewrite Theories
Roberto Bruni, José Meseguer
ICALP
2003
Springer
15 years 11 months ago
Succinct Dynamic Dictionaries and Trees
Rajeev Raman, S. Srinivasa Rao
ICALP
2003
Springer
15 years 11 months ago
A Testing Scenario for Probabilistic Automata
Mariëlle Stoelinga, Frits W. Vaandrager
ICTCS
2003
Springer
15 years 11 months ago
Security-Aware Program Transformations
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...