Login / Signup
Proving the validity of equations in GSOS languages using rule-matching bisimilarity.
Luca Aceto
Matteo Cimini
Anna Ingólfsdóttir
Published in:
Math. Struct. Comput. Sci. (2012)
Keyphrases
</>
pattern matching
matching algorithm
matching process
language independent
image matching
graph matching
information retrieval
image segmentation
similarity measure
template matching
rule sets
differential equations
target language
numerical solution
nonlinear equations
interchange format