Sciweavers

220 search results - page 12 / 44
» tcs 2008
Sort
View
TCS
2002
13 years 9 months ago
Words and forbidden factors
Given a
Filippo Mignosi, Antonio Restivo, Marinella Sciort...
TCS
2008
13 years 9 months ago
Abstract interpretation and types for systems biology
Interpretation and Types for Systems Biology Fran
François Fages, Sylvain Soliman
TCS
2008
13 years 9 months ago
Testing whether a digraph contains H-free k-induced subgraphs
Hong-Yiu Lin, Yuh-Dauh Lyuu, Tak-Man Ma, Yen-Wu Ti
TCS
2002
13 years 9 months ago
Presentations of computably enumerable reals
We study the relationship between a computably enumerable real and its presentations: ways of approximating the real by enumerating a prefix-free set of binary strings.
Rodney G. Downey, Geoffrey LaForte