Declarative Representation of Proof Terms

Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-009-9136-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Information as Proof or Monument: Materiality, Institutionality and Representation

Encontros Bibli: revista eletrônica de biblioteconomia e ciência da informação
2019English

Knowledge Representation in a Proof Checker for Logic Programs

2012English

A Representation-Theoretic Proof of the Branching Rule for Macdonald Polynomials

Mathematical Research Letters
Mathematics
2016English

Declarative Interpretations Reconsidered

1994English

Genetic Architecture of Declarative Memory

Neuroscientist
NeuroscienceNeurology
2011English

Declarative Agent Control

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Declarative Representations of Multiagent Systems

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
1993English

Declarative Composition of Stack Frames

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Declarative View of Imperative Programs

1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy