Sciweavers

20441 search results - page 372 / 4089
» Locally Computable Structures
Sort
View
CONCUR
2009
Springer
16 years 21 days ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
137
Voted
ITICSE
2009
ACM
16 years 19 days ago
A course on algorithms and data structures using on-line judging
Ginés García-Mateos, José Lui...
SEMCO
2008
IEEE
16 years 15 days ago
Annotating an Extension Layer of Semantic Structure for Natural Language Text
Yulan Yan, Yutaka Matsuo, Mitsuru Ishizuka, Toshio...