Sciweavers

13306 search results - page 292 / 2662
» Theoretical Computer Science
Sort
View
128
Voted
RELMICS
2009
Springer
15 years 11 months ago
Towards Algebraic Separation Logic
Han-Hing Dang, Peter Höfner, Bernhard Mö...
WG
2009
Springer
15 years 11 months ago
Injective Oriented Colourings
Gary MacGillivray, André Raspaud, Jacobus S...
WG
2009
Springer
15 years 11 months ago
Cycles, Paths, Connectivity and Diameter in Distance Graphs
Lucia Draque Penso, Dieter Rautenbach, Jayme Luiz ...
CTRS
1990
15 years 10 months ago
Extended Term Rewriting Systems
Jan Willem Klop, Roel C. de Vrijer