Unranked Nominal Unification

DOI10.1007/978-3-030-98479-3_14zbMath1530.68132MaRDI QIDQ6487232

Mikheil Rukhaia, Besik Dundua, Temur Kutsia

Publication date: 11 August 2022

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Knowledge representation, the world wide web, and the evolution of logic
• A new approach to abstract syntax with variable binding
• On the relation between context and sequence unification
• Nominal C-unification
• Completeness in PVS of a nominal unification algorithm
• Nominal unification
• Nominal logic, a first order theory of names and binding
• Nominal unification of higher order expressions with recursive let
• A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols
• Solving equations with sequence variables and sequence functions
• Minimal and complete word unification
• Unification: a multidisciplinary survey
• Term Rewriting and All That
• Fixed-Point Constraints for Nominal Equational Unification
• A Certified Functional Nominal C-Unification Algorithm
• Mathematical Knowledge Management
• Sequence Unification Through Currying
• Artificial Intelligence and Symbolic Computation
• Flexary Operators for Formalized Mathematics
• A Machine-Oriented Logic Based on the Resolution Principle
• Nominal Unification from a Higher-Order Perspective
• Foundations of Information and Knowledge Systems

This page was built for publication: Unranked Nominal Unification