Subject
General Computer Science,Theoretical Computer Science
Reference41 articles.
1. Local and symbolic bisimulation using tabled constraint logic programming;Basu,2001
2. Symbolic trace analysis of cryptographic protocols;Boreale,2001
3. A symbolic semantics for the π-calculus;Boreale;Information and Computation,1996
4. A formulation of the simple theory of types;Church;Journal of Symbolic Logic,1940
5. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem;de Bruijn;Indag. Math.,1972
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Analytic Propositional Proof System on Graphs;Logical Methods in Computer Science;2022-10-21
2. A Proof Theory for Model Checking;Journal of Automated Reasoning;2018-06-18
3. A Proof Theory for Model Checking: An Extended Abstract;Electronic Proceedings in Theoretical Computer Science;2017-01-17
4. A proof theoretic view of spatial and temporal dependencies in biochemical systems;Theoretical Computer Science;2016-08
5. A Lightweight Formalization of the Metatheory of Bisimulation-Up-To;Proceedings of the 2015 Conference on Certified Programs and Proofs;2015-01-13