Sign in
Behavioral Rewrite Systems and Behavioral Productivity.
Grigore Rosu
Dorel Lucanu
Published in:
Specification, Algebra, and Software (2014)
Keyphrases
</>
rewrite systems
term rewriting
information systems
case study
multi agent
data model
active rules