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):
Displaying 8 items.
- Simulation relations for pattern matching in directed graphs (Q388784) (← links)
- Similarity in languages and programs (Q391201) (← links)
- A graph theoretic approach to simulation and classification (Q1615239) (← 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)
- Sim2vec: node similarity preserving network embedding (Q2215048) (← 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)