Unranked Nominal Unification
From MaRDI portal
Publication:6487232
DOI10.1007/978-3-030-98479-3_14zbMATH Open1530.68132MaRDI QIDQ6487232FDOQ6487232
Mikheil Rukhaia, B. Dundua, Temur Kutsia
Publication date: 11 August 2022
Cites Work
- Nominal logic, a first order theory of names and binding
- Unification theory
- Title not available (Why is that?)
- A new approach to abstract syntax with variable binding
- Nominal unification
- Term Rewriting and All That
- A Machine-Oriented Logic Based on the Resolution Principle
- Title not available (Why is that?)
- Minimal and complete word unification
- Unification: a multidisciplinary survey
- Higher-order unification and matching
- Handbook of automated reasoning. In 2 vols
- Knowledge representation, the world wide web, and the evolution of logic
- Nominal Unification from a Higher-Order Perspective
- Mathematical Knowledge Management
- On the relation between context and sequence unification
- Solving equations with sequence variables and sequence functions
- Sequence Unification Through Currying
- Title not available (Why is that?)
- Artificial Intelligence and Symbolic Computation
- Foundations of Information and Knowledge Systems
- Title not available (Why is that?)
- Fixed-Point Constraints for Nominal Equational Unification
- Nominal C-unification
- Nominal unification of higher order expressions with recursive let
- Title not available (Why is that?)
- Completeness in PVS of a nominal unification algorithm
- A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols
- Flexary Operators for Formalized Mathematics
- Title not available (Why is that?)
- A Certified Functional Nominal C-Unification Algorithm
- Title not available (Why is that?)
Cited In (3)
This page was built for publication: Unranked Nominal Unification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487232)