Sciweavers

4315 search results - page 88 / 863
» Sorting in linear time
Sort
View
TOCL
2002
54views more  TOCL 2002»
15 years 2 months ago
Datalog LITE: a deductive query language with linear time model checking
Georg Gottlob, Erich Grädel, Helmut Veith
JCO
2010
56views more  JCO 2010»
15 years 1 months ago
Linear time construction of 5-phylogenetic roots for tree chordal graphs
William S. Kennedy, Hui Kong, Guohui Lin, Guiying ...