Sciweavers

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