24 citations · 43 across the 16 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Isabelle Formalisation of Original Representation Theorems
Marco B. Caminati
In a recent paper, new theorems linking apparently unrelated mathematical objects (event structures from concurrency theory and full graphs arising in computational biology) were d…
cs.LO2023
Representation Theorems Obtained by Miningacross Web Sources for Hints
Marco B. Caminati, Juliana K. F. Bowles
A representation theorem relates different mathematical structures by providing an isomorphism between them: that is, a one-to-one correspondence preserving their original properti…