Information and Computation
Handbook of automated reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Computational Logic (TOCL)
Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
xDomain: cross-border proofs of access
Proceedings of the 14th ACM symposium on Access control models and technologies
Representing Model Theory in a Type-Theoretical Logical Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
Representing model theory in a type-theoretical logical framework
Theoretical Computer Science
Stateful authorization logic: proof theory and a case study
STM'10 Proceedings of the 6th international conference on Security and trust management
Constructive linear-time temporal logic: Proof systems and Kripke semantics
Information and Computation
On a local-step cut-elimination procedure for the intuitionistic sequent calculus
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Modular cut-elimination: finding proofs or counterexamples
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On the specification of sequent systems
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A mechanically verified, sound and complete theorem prover for first order logic
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
A linear logic of authorization and knowledge
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Towards logical frameworks in the heterogeneous tool set hets
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
A proof-carrying file system with revocable and use-once certificates
STM'11 Proceedings of the 7th international conference on Security and Trust Management
A cut-free and invariant-free sequent calculus for PLTL
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
A formal framework for specifying sequent calculus proof systems
Theoretical Computer Science
Structural logical relations with case analysis and equality reasoning
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
| Hi-index | 0.00 |