Pages that link to "Item:Q5146592"
From MaRDI portal
The following pages link to Characteristic formulae for fixed-point semantics: a general framework (Q5146592):
Displaying 6 items.
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
- Removing redundant refusals: minimal complete test suites for failure trace semantics (Q2687991) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
- Semantic characterization of Kracht formulas (Q2904056) (← links)
- (Q3342530) (← links)
- Characterizations of the stable semantics by partial evaluation (Q5101443) (← links)