Pages that link to "Item:Q4608688"

From MaRDI portal

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 (Q4608688):

Displaying 4 items.

Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)

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