Primal grammars and unification modulo a binary clause

DOI10.1007/3-540-58156-1_20zbMATH Open1433.68565OpenAlexW1533234552MaRDI QIDQ5210779FDOQ5210779

Authors: Gernot Salzer 

Publication date: 21 January 2020

Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58156-1_20

Recommendations

• Unification of infinite sets of terms schematized by primal grammars
• A complete superposition calculus for primal grammars
• On the semantics of unification grammars
• Implementation and Application of Automata
• Prime normal form and equivalence of simple grammars
• Unification grammars and off-line parsability
• Unambiguous Boolean grammars
• Polynomially parsable unification grammars
• The first order theory of primal grammars is decidable
• Indexed grammars and unification grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Automated deduction by theory resolution
• Title not available (Why is that?)
• Efficient loop detection in prolog using the tortoise-and-hare technique
• On the existence of nonterminating queries for a restricted class of PROLOG-clauses
• Unification of infinite sets of terms schematized by primal grammars
• Title not available (Why is that?)
• On unification of terms with integer exponents
• Implication of clauses is undecidable
• On finite representations of infinite sequences of terms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Satisfiability of the smallest binary program
• Title not available (Why is that?)

Cited In (3)

• Schematic saturation for decision and unification problems.
• Unification of infinite sets of terms schematized by primal grammars
• Implementation and Application of Automata

This page was built for publication: Primal grammars and unification modulo a binary clause

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5210779)