The following pages link to (Q4036587):
Displaying 8 items.
- Some undecidable properties of SOS specifications (Q511941) (← links)
- Transition system specifications with negative premises (Q685387) (← links)
- GSOS and finite labelled transition systems (Q1331924) (← links)
- The meaning of negative premises in transition system specifications. II (Q1878713) (← links)
- Priority and abstraction in process algebra (Q2381506) (← links)
- Modular Semantics for Transition System Specifications with Negative Premises (Q2842096) (← links)
- (Q3385651) (← links)
- Sequent calculi for default and autoepistemic logics (Q4645232) (← links)