Sciweavers

852 search results - page 24 / 171
» entcs 2010
Sort
View
ENTCS
2002
51views more  ENTCS 2002»
14 years 10 months ago
A Logical Process Calculus
Rance Cleaveland, Gerald Lüttgen
ENTCS
2002
98views more  ENTCS 2002»
14 years 10 months ago
Building Interpreters with Rewriting Strategies
Eelco Dolstra, Eelco Visser
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