The following pages link to (Q5711861):
Displaying 4 items.
- Eradication (Q420838) (← links)
- Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics (Q4796511) (← links)
- Introducing Reactive Kripke Semantics and Arc Accessibility (Q5452184) (← links)
- Formalizing falsification: Three delete operations (Q5753921) (← links)