Sciweavers

4315 search results - page 88 / 863
» Sorting in linear time
Sort
View
TOCL
2002
54views more  TOCL 2002»
13 years 7 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»
13 years 6 months ago
Linear time construction of 5-phylogenetic roots for tree chordal graphs
William S. Kennedy, Hui Kong, Guohui Lin, Guiying ...