Pages that link to "Item:Q3130301"
From MaRDI portal
The following pages link to The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301):
Displaying 1 item.