Pages that link to "Item:Q5427253"

From MaRDI portal

← Models and Separation Logics for Resource Trees (Q5427253)

Jump to:navigation, search

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

The following pages link to Models and Separation Logics for Resource Trees (Q5427253):

Displaying 3 items.

DOM: Specification and Client Reasoning (Q3179307) (← links)
Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding (Q3636908) (← links)
Algebra and logic for resource-based systems modelling (Q3643362) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q5427253"