Pages that link to "Item:Q3613327"
From MaRDI portal
The following pages link to Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) (Q3613327):
Displayed 2 items.
The following pages link to Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) (Q3613327):
Displayed 2 items.