Sciweavers

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