The following pages link to Unification theory (Q2751360):
Displaying 50 items.
- Unification modulo lists with reverse relation with certain word equations (Q2305403) (← links)
- A formalisation of nominal C-matching through unification with protected variables (Q2333665) (← links)
- Distributive bilattices from the perspective of natural duality theory. (Q2343033) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- A complete superposition calculus for primal grammars (Q2352496) (← links)
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Solving equations with sequence variables and sequence functions (Q2457427) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- Herbrand's theorem and term induction (Q2491080) (← links)
- Essential unifiers (Q2494722) (← links)
- Unification and projectivity in De Morgan and Kleene algebras. (Q2510377) (← links)
- Code-carrying theories (Q2643124) (← links)
- Fast algorithms for uniform semi-unification (Q2643520) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
- Syntactic unification as a geometric operation in free modules over certain rings (Q2842592) (← links)
- Unification in modal and description logics (Q2889571) (← links)
- GUBS a Language for Synthetic Biology: Specification and Compilation (Q2945531) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- On the Parameterized Complexity of Associative and Commutative Unification (Q2946004) (← links)
- Unification and Matching in Hierarchical Combinations of Syntactic Theories (Q2964469) (← links)
- Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups (Q3098040) (← links)
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784) (← links)
- What Is Essential Unification? (Q3305325) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- Nominal Matching and Alpha-Equivalence (Q3511452) (← links)
- Placement Inference for a Client-Server Calculus (Q3520305) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
- Unification with Singleton Tree Grammars (Q3636835) (← links)
- Word Equations with One Unknown (Q3637238) (← links)
- (Q4963142) (← links)
- Order-Sorted Generalization (Q4982625) (← links)
- (Q5020553) (← links)
- (Q5020960) (← links)
- Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)
- Typed Relational Conversion (Q5056070) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
- E-Unification based on Generalized Embedding (Q5084482) (← links)
- A Certified Functional Nominal C-Unification Algorithm (Q5097631) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)
- Bounded ACh unification (Q5139278) (← links)
- Variant Narrowing and Equational Unification (Q5179131) (← links)
- Efficient General Unification for XOR with Homomorphism (Q5200040) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases (Q5504588) (← links)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659) (← links)
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Q5504662) (← links)
- Computational Science – ICCS 2005 (Q5709504) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
