The First-Order Nominal Link (Q3003496)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	The First-Order Nominal Link	scientific article

Statements

scholarly article

0 references

The First-Order Nominal Link (English)

0 references

Christophe Calvès

0 references

Maribel Fernández

0 references

Logic-Based Program Synthesis and Transformation

0 references

publication date

27 May 2011

0 references

describes a project that uses

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-20551-4_15

0 references

Nominal Matching and Alpha-Equivalence

0 references

A polynomial nominal unification algorithm

0 references

Nominal Equational Logic

0 references

Nominal rewriting

0 references

Nominal (Universal) Algebra: Equational Logic with Names and Binding

0 references

A new approach to abstract syntax with variable binding

0 references

Nominal Unification from a Higher-Order Perspective

0 references

An Efficient Nominal Unification Algorithm

0 references

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

0 references

0 references

Nominal logic, a first order theory of names and binding

0 references

Unification of higher-order patterns in linear time and space

0 references

0 references

Nominal unification

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-20551-4_15

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3003496

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3003496&oldid=35229239"