bibliographer - Colin Stirling

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Modal mu-calculi Julian Bradfield Colin Stirling [github]

Model Checking Fixed Point Logic with Chop Martin Lange Colin Stirling [github]

A Proof System with Names for Modal Mu-calculus Colin Stirling [github]

Rational Graphs Trace Context-Sensitive Languages Christophe Morvan Colin Stirling [github]

Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling [github]

Higher-Order Matching and Games Colin Stirling [github]

A Game-Theoretic Approach to Deciding Higher-Order Matching Colin Stirling [github]

Dependency Tree Automata Colin Stirling [github]

Decidability of higher-order matching Colin Stirling [github]

Local model checking in the modal mu-calculus Colin Stirling David Walker [github]

Bisimulation and Logic Colin Stirling [github]

Language Theory and Infinite Graphs Colin Stirling [github]

Second-Order Simple Grammars Colin Stirling [github]

An introduction to decidability of higher-order matching Colin Stirling [github]

Local model checking games (extended abstract) Colin Stirling [github]

Local model checking in the modal mu-calculus Colin Stirling David Walker [github]

Library Size: 13G (16 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]