Sciweavers

222 search results - page 45 / 45
» Graphically explaining norms
Sort
View
CORR
2006
Springer
120views Education» more  CORR 2006»
13 years 4 months ago
Termination orders for 3-dimensional rewriting
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
Yves Guiraud
BMCBI
2005
117views more  BMCBI 2005»
13 years 4 months ago
Graph-representation of oxidative folding pathways
Background: The process of oxidative folding combines the formation of native disulfide bond with conformational folding resulting in the native three-dimensional fold. Oxidative ...
Vilmos Ágoston, Masa Cemazar, Lászl&...