Sciweavers

12753 search results - page 247 / 2551
» or 2002
Sort
View
ENTCS
2002
51views more  ENTCS 2002»
13 years 9 months ago
A Logical Process Calculus
Rance Cleaveland, Gerald Lüttgen
ENTCS
2002
98views more  ENTCS 2002»
13 years 9 months ago
Building Interpreters with Rewriting Strategies
Eelco Dolstra, Eelco Visser
ENTCS
2002
51views more  ENTCS 2002»
13 years 9 months ago
Using Secondary Structure Information for Protein Folding in CLP(FD)
Agostino Dovier, Matteo Burato, Federico Fogolari