882 search results - page 92 / 177 » A Taste of Rewrite Systems |
ENTCS
2008
15 years 22 days ago
2008
We propose String MultiSet Rewriting (SMSR) as an intermediate language for simulation of biomolecular systems. Higher level formalisms for biological systems description can be t...
108
Voted
AWIC
2005
Springer
15 years 6 months ago
2005
Springer
In data integration systems there is a problem of answering queries through a target schema, given a set of mappings between source schemas and the target schema, and given that th...
134
Voted
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
89
Voted
AB
2007
Springer
15 years 4 months ago
2007
Springer
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
78
Voted
TCS
2010
14 years 11 months ago
2010
In a left-forbidding grammar, a set of nonterminals is attached to every context-free production, and such a production can rewrite a nonterminal if no symbol from the attached se...