Nominal unification with atom-variables
type: Item
instance of: scholarly article
title: Nominal unification with atom-variables
zbMATH Open document ID: 1395.68096
author: David Sabel
author: Yunus D. K. Kutz
author: Manfred Schmidt-Schauß
published in: Journal of Symbolic Computation
publication date: 2018-06-14T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q17
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6889325
zbMATH Keywords: program transformations
zbMATH Keywords: nominal unification
zbMATH Keywords: functional languages
zbMATH Keywords: atom-variables
zbMATH Keywords: correctness
describes a project that uses: Isabelle/HOL
describes a project that uses: Nominal Isabelle
MaRDI profile type: Publication
full work available at URL: j.jsc.2018.04.003
OpenAlex ID: W2795931429
cites work: Checking overlaps of nominal rewriting rules
cites work: Unifying Nominal Unification
cites work: A polynomial nominal unification algorithm
cites work: Automata, Languages and Programming
cites work: Equivariant unification
cites work: Constraint solving in non-permutative nominal abstract syntax
cites work: Nominal Unification from a Higher-Order Perspective
cites work: An Efficient Nominal Unification Algorithm
cites work: An Efficient Unification Algorithm
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Nominal sets. Names and symmetry in computer science
cites work: The complexity of satisfiability problems
cites work: Nominal unification of higher order expressions with recursive let
cites work: Safety of Nöcker's strictness analysis
cites work: General bindings and alpha-equivalence in Nominal Isabelle
cites work: Computer Science Logic
Wikidata QID: Q130021361
DOI: 10.1016/J.JSC.2018.04.003
Recommended article: Q4993360
Recommended article: Unifying Nominal Unification
Recommended article: Nominal Unification from a Higher-Order Perspective
Recommended article: Nominal syntax with atom substitutions: matching, unification, rewriting
Recommended article: Computer Science Logic
Recommended article: Nominal unification
Recommended article: Nominal C-unification
Recommended article: Rewriting with generalized nominal unification
Recommended article: Unranked Nominal Unification
description: scientific article; zbMATH DE number 6889325