Pages that link to "Item:Q2490814"

From MaRDI portal

← From local to global temporal logics over Mazurkiewicz traces. (Q2490814)

Jump to:navigation, search

The following pages link to From local to global temporal logics over Mazurkiewicz traces. (Q2490814):

Displaying 2 items.

Computing the reveals relation in occurrence nets (Q391112) (← links)
Pure future local temporal logics are expressively complete for Mazurkiewicz traces (Q859824) (← links)

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