Pages that link to "Item:Q2346411"

From MaRDI portal

← A logic with revocable and refinable strategies (Q2346411)

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 A logic with revocable and refinable strategies (Q2346411):

Displaying 2 items.

Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)

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