Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Claudio Sacerdoti Coen
Declarative Representation of Proof Terms
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
An Interactive Algebra Course With Formalised Proofs and Definitions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Information as Proof or Monument: Materiality, Institutionality and Representation
Encontros Bibli: revista eletrônica de biblioteconomia e ciência da informação
Knowledge Representation in a Proof Checker for Logic Programs
A Representation-Theoretic Proof of the Branching Rule for Macdonald Polynomials
Mathematical Research Letters
Mathematics
Declarative Interpretations Reconsidered
Genetic Architecture of Declarative Memory
Neuroscientist
Neuroscience
Neurology
Declarative Agent Control
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Declarative Representations of Multiagent Systems
IEEE Transactions on Knowledge and Data Engineering
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Declarative Composition of Stack Frames
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Declarative View of Imperative Programs
