NLambda

swMATH23172MaRDI QIDQ34956FDOQ34956

Author name not available (Why is that?)

Official website: https://www.mimuw.edu.pl/~szynwelski/nlambda/

Cited In (13)

• Title not available (Why is that?)
• Learning nominal automata
• Title not available (Why is that?)
• LOIS
• Sigma*
• DEQ
• SMT solving for functional programming over infinite structures
• Fast computations on ordered nominal sets
• coneqct
• Title not available (Why is that?)
• Ons
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
• Completeness and incompleteness in nominal Kleene algebra

This page was built for software: NLambda