Pages that link to "Item:Q511941"

From MaRDI portal

← Some undecidable properties of SOS specifications (Q511941)

Jump to:navigation, search

The following pages link to Some undecidable properties of SOS specifications (Q511941):

Displaying 3 items.

Distributive laws for monotone specifications (Q2329307) (← links)
Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) (← links)

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