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