Theoretical Computer Science - Special issue on theories of types and proofs
A Methodological View of Constraint Solving
Constraints
Journal of Automated Reasoning
Quantifiers, Anaphora, and Intensionality
Journal of Logic, Language and Information
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Combining Pattern E-Unification Algorithms
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Logic Program Synthesis in a Higher-Order Setting
CL '00 Proceedings of the First International Conference on Computational Logic
A strategy for dynamic interpretation: a fragment and an implementation
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
Negative polarity licensing at the syntax-semantics interface
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
Using higher-order logic programming for semantic interpretation of coordinate constructs
ACL '95 Proceedings of the 33rd annual meeting on Association for Computational Linguistics
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Model checking for π-calculus using proof search
CONCUR 2005 - Concurrency Theory
Normalisation for higher-order calculi with explicit substitutions
Theoretical Computer Science - Foundations of software science and computation structures
Electronic Notes in Theoretical Computer Science (ENTCS)
A normalisation result for higher-order calculi with explicit substitutions
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Abstract deduction and inferential models for type theory
Information and Computation
On the relation between sized-types based termination and semantic labelling
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Proof-theoretic and higher-order extensions of logic programming
A 25-year perspective on logic programming
Capture-avoiding substitution as a nominal algebra
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Extracting the essence of distillation
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Computability closure: ten years later
Rewriting Computation and Proof
| Hi-index | 0.01 |