The following pages link to (Q4417861):
Displayed 8 items.
- Elimination of spatial connectives in static spatial logics (Q1763729) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- Nominal unification (Q1882909) (← links)
- Formal molecular biology (Q1884864) (← links)
- Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- Specification and verification for semi-structured data (Q5291135) (← links)