Restricted combinatory unification (Q2305407): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(9 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: VAMPIRE / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: StarExec / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: E Theorem Prover / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: CoqHammer / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: TPTP / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Satallax / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Leo-III / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2969261745 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Term Rewriting and All That / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Superposition for \(\lambda\)-free higher-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Superposition with lambdas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Satallax: An Automatic Higher-Order Prover / rank
 
Normal rank
Property / cites work
 
Property / cites work: Embedding Deduction Modulo into a Prover / rank
 
Normal rank
Property / cites work
 
Property / cites work: Superposition with structural induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hammer for Coq: automation for dependent type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher-order unification via combinators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher order unification via explicit substitutions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theorem proving modulo / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substitution tree indexing / rank
 
Normal rank
Property / cites work
 
Property / cites work: A unification algorithm for typed \(\bar\lambda\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3838759 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functions-as-constructors Higher-order Unification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Translating higher-order clauses to first-order clauses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher-order term indexing using substitution trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidable higher-order unification problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability of bounded higher-order unification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher-order unification revisited: Complete sets of transformations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4557854 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The higher-order prover Leo-III / rank
 
Normal rank
Property / cites work
 
Property / cites work: The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 / rank
 
Normal rank

Latest revision as of 01:06, 22 July 2024

scientific article
Language Label Description Also known as
English
Restricted combinatory unification
scientific article

    Statements

    Restricted combinatory unification (English)
    0 references
    0 references
    0 references
    10 March 2020
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers