Sciweavers

852 search results - page 24 / 171
» entcs 2010
Sort
View
62
Voted
ENTCS
2002
51views more  ENTCS 2002»
15 years 7 days ago
A Logical Process Calculus
Rance Cleaveland, Gerald Lüttgen
77
Voted
ENTCS
2002
98views more  ENTCS 2002»
15 years 7 days ago
Building Interpreters with Rewriting Strategies
Eelco Dolstra, Eelco Visser
ENTCS
2002
51views more  ENTCS 2002»
15 years 7 days ago
Using Secondary Structure Information for Protein Folding in CLP(FD)
Agostino Dovier, Matteo Burato, Federico Fogolari