Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Type Inference for First-Order Logic
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Connections in nonclassical logics
Handbook of automated reasoning
Decidability Problems for the Prenex Fragment of Intuitionistic Logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
On constructive cut admissibility in deduction modulo
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
On herbrand's theorem for intuitionistic logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |