CAPP
Skip to content
Home
Research
Presentation
Topics
Grants
Systems
Publications
News
Events
Meetings and Seminars
Recent Papers
Contacts
Members
Venue
Links
Links
Some international journals in our field of research
Journal of Automated Reasoning
Fundamenta Informaticae
The Journal of Functional and Logic Programming
Journal of Symbolic Computation
Journal of Logic and Computation
Open journal for Quantum Science
Some international conferences
International Joint Conference on Automated Reasoning
(IJCAR)
International Conference on Automated Deduction
(CADE)
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
(TABLEAUX)
International Conference on Graph Transformation
(ICGT)
Some relevant Wikipedia articles
Computer Science
Declarative Programming
Automated Theorem Proving
Quantum Computing