Sciweavers

4767 search results - page 47 / 954
» Structures for Abstract Rewriting
Sort
View
FORTE
2007
15 years 3 months ago
State Isomorphism in Model Programs with Abstract Data Structures
Margus Veanes, Juhan P. Ernits, Colin Campbell
74
Voted
ACL
2006
15 years 3 months ago
Computational Analysis of Move Structures in Academic Abstracts
Jien-Chen Wu, Yu-Chia Chang, Hsien-Chin Liou, Jaso...
DAGSTUHL
2006
15 years 3 months ago
06091 Abstracts Collection -- Data Structures
Lars Arge, Robert Sedgewick, Dorothea Wagner