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