Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Simon Docherty
Modular Tableaux Calculi for Separation Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Parametric Completeness for Separation Theories
ACM SIGPLAN Notices
Computer Science
Parametric Completeness for Separation Theories
Modular Constraints on Superconformal Field Theories
Journal of High Energy Physics
High Energy Physics
Nuclear
Tableaux for Acceptance Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Constructions of Quantum Field Theories With Interactions
Reviews in Mathematical Physics
Nonlinear Physics
Mathematical Physics
Statistical
Recent Progress in the Theories of Modular and Formal Invariants and in Modular Geometry
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Bijections for Permutation Tableaux
European Journal of Combinatorics
Combinatorics
Mathematics
Geometry
Discrete Mathematics
Computational Theory
Theoretical Computer Science
Topology
Modular Reasoning About Separation of Concurrent Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tutorial on Separation Results in Process Calculi via Leader Election Problems
Theoretical Computer Science
Computer Science
Theoretical Computer Science