scientific article; zbMATH DE number 7438170

zbMath1477.68072arXiv1604.01185MaRDI QIDQ5013828

Bartek Klin, Michał Szynwelski

Publication date: 2 December 2021

Full work available at URL: https://arxiv.org/abs/1604.01185

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (7)

Unnamed Item ⋮ Completeness and incompleteness in nominal Kleene algebra ⋮ Unnamed Item ⋮ On-the-fly bisimilarity checking for fresh-register automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fast computations on ordered nominal sets

Uses Software

• Haskell
• z3
• NLambda
• SETL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Universal partial order represented by means of oriented trees and other simple graphs
• Nominal Sets
• Automata theory in nominal sets
• Towards nominal computation
• Applying Linear Quantifier Elimination
• Algebraic Properties of Valued Constraint Satisfaction Problem
• Linear Quantifier Elimination
• Locally Finite Constraint Satisfaction Problems
• Parallel reductions in \(\lambda\)-calculus

This page was built for publication: