LOIS

swMATH21722MaRDI QIDQ33524FDOQ33524

Author name not available (Why is that?)

Official website: https://www.mimuw.edu.pl/~erykk/lois/

Cited In (12)

• Title not available (Why is that?)
• Learning nominal automata
• LOIS: syntax and semantics
• Title not available (Why is that?)
• Sigma*
• NLambda
• DEQ
• Fast computations on ordered nominal sets
• coneqct
• Title not available (Why is that?)
• Ons
• Completeness and incompleteness in nominal Kleene algebra

This page was built for software: LOIS