Linear unification
From MaRDI portal
Cites work
Cited in
(86)- Context unification with one context variable
- A view of computability on term algebras
- Fundamental properties of infinite trees
- Automated theorem proving methods
- Properties of substitutions and unifications
- A parallel algorithm for the monadic unification problem
- Incorporating equality into logic programming via surface deduction
- Unification problems with one-sided distributivity
- About the Paterson-Wegman linear unification algorithm
- A practically efficient and almost linear unification algorithm
- Polymorphic type inference and containment
- Finite generation of ambiguity in context-free languages
- On the relationship of congruence closure and unification
- Equational unification, word unification, and 2nd-order equational unification
- The undecidability of the second-order unification problem
- On the time and tape complexity of weak unification
- Unifiability is complete for co-N Log Space
- Unifications, deunifications, and their complexity
- Horn clause programs with polymorphic types: Semantics and resolution
- Optimal parallel algorithms for forest and term matching
- Tight complexity bounds for term matching problems
- C-expressions: A variable-free calculus for equational logic programming
- Complete sets of transformations for general E-unification
- Unification problem in equational theories
- Accelerating tableaux proofs using compact representations
- Computational complexity and constraint logic programming languages
- Unification in sort theories and its applications
- Binary decision diagrams for first-order predicate logic.
- Complete sets of unifiers and matchers in equational theories
- On the logic of unification
- An ordering linear unification algorithm
- On equational theories, unification, and (un)decidability
- Working with ARMs: Complexity results on atomic representations of Herbrand models
- Nominal unification
- A rational reconstruction of the domain of feature structures
- Data storage interpretation of labeled modal logic
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
- Refinement of bounds of the height of terms in the most general unifier
- Heterogeneous active agents. III: Polynomially implementable agents
- Faster linear unification algorithm
- Distinct fringe subtrees in random trees
- Theory and practice of unparsed patterns for metacompilation
- Proof schemata in Hilbert-type axiomatic theories
- Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination
- Free-variable semantic tableaux for the logic of fuzzy inequalities
- Referential logic of proofs
- Source-tracking unification
- Terminological reasoning is inherently intractable
- Unification of drags and confluence of drag rewriting
- Effective codescent morphisms in the varieties determined by convergent term rewriting systems.
- Unification for infinite sets of equations between finite terms
- On the parameterized complexity of associative and commutative unification
- On complexity of the anti-unification problem
- Automatic theorem proving. II
- Logic and functional programming by retractions : operational semantics
- Graph unification and matching
- The complexity of type inference for higher-order typed lambda calculi
- scientific article; zbMATH DE number 7455734 (Why is no real title available?)
- Linear unification of higher-order patterns
- The negation elimination from syntactic equational formula is decidable
- Some complexity theoretic aspects of AC rewriting
- Decomposable theories
- The correctness of Newman's typability algorithm and some of its extensions
- Constraint Satisfaction Problems with Infinite Templates
- An almost linear Robinson unification algorithm
- Unification in a combination of arbitrary disjoint equational theories
- A new approach to general E-unification based on conditional rewriting systems
- Automata-driven efficient subterm unification
- The single-conclusion proof logic and inference rules specification
- On Herbrand's theorem
- Unification theory
- Using multiset discrimination to solve language processing problems without hashing
- Average-case analysis of unification algorithms
- Complexity of unification problems with associative-commutative operators
- A note on the parallel complexity of anti-unification
- Projecting CLP(\({\mathcal R}\)) constraints
- Equality and abductive residua for Horn clauses
- A strictly linear subatomic proof system
- On the parameterized complexity of associative and commutative unification
- Massive unification
- A practical unification algorithm
- Simple second-order languages for which unification is undecidable
- Semi-unification
- On the tree-transformation power of XSLT
- Complete symbolic reachability analysis using back-and-forth narrowing
- Rigid E-unification: NP-completeness and applications to equational matings
This page was built for publication: Linear unification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1243575)
