The following pages link to S. J. Ramsay (Q2396720):
Displaying 9 items.
- Reachability in pushdown register automata (Q2396722) (← links)
- Reachability in Pushdown Register Automata (Q2922039) (← links)
- A Contextual Equivalence Checker for IMJ* (Q3460566) (← links)
- Game Semantic Analysis of Equivalence in IMJ (Q3460582) (← links)
- Bisimilarity in Fresh-Register Automata (Q4635800) (← links)
- Polynomial-time equivalence testing for deterministic fresh-register automata (Q5005176) (← links)
- A traversal-based algorithm for higher-order model checking (Q5168915) (← links)
- A type-directed abstraction refinement approach to higher-order model checking (Q5408403) (← links)
- Verifying higher-order functional programs with pattern-matching algebraic data types (Q5408579) (← links)
