Pages that link to "Item:Q5899072"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5899072):
Displayed 5 items.
- Similarity in languages and programs (Q391201) (← links)
- A comparative analysis of the Tanimoto index and graph edit distance for measuring the topological similarity of trees (Q1636844) (← links)
- Fifty years of graph matching, network alignment and network comparison (Q1991876) (← links)
- Limited approximate bisimulations and the corresponding rough approximations (Q2237122) (← links)
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS (Q6103448) (← links)