José A. Alonso on Nostr: Formalising the double-pushout approach to graph transformation. ~ Robert Söldner & ...
Published at
2024-08-09 17:23:35Event JSON
{
"id": "4d06be93388792b8235c31d56a12e5b3dbb11b83ba62edc3c77970f79895b6a2",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723224215,
"kind": 1,
"tags": [
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112933222199824614",
"activitypub"
]
],
"content": "Formalising the double-pushout approach to graph transformation. ~ Robert Söldner \u0026 Detlef Plump. https://arxiv.org/abs/2312.15641 #ITP #IsabelleHOL",
"sig": "d54eb7f17866b917ca29bf28955bc2f73ade2bb6b4bc26a852217a70e37a4f1515552e93519a0e48fa3006ab5e95bb4baef2675185963a80f91008e00d343006"
}
