Sciweavers

1005 search results - page 21 / 201
» Patterns for Refinement Automation
Sort
View
JCB
2000
55views more  JCB 2000»
13 years 7 months ago
Systematic and Fully Automated Identification of Protein Sequence Patterns
Reece Hart, Ajay K. Royyuru, Gustavo Stolovitzky, ...
CORR
2010
Springer
48views Education» more  CORR 2010»
13 years 5 months ago
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
Bernhard Gramlich, Felix Schernhammer