Sciweavers

2029 search results - page 16 / 406
» informs 2002
Sort
View
91
Voted
ENTCS
2002
51views more  ENTCS 2002»
15 years 5 months ago
Using Secondary Structure Information for Protein Folding in CLP(FD)
Agostino Dovier, Matteo Burato, Federico Fogolari
FUIN
2002
65views more  FUIN 2002»
15 years 5 months ago
Automata-Theoretic Decision Procedures for Information Logics
Stéphane Demri, Ulrike Sattler