FMona

swMATH303MaRDI QIDQ13065FDOQ13065

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/gckb20m9d9hekccy/fulltext.pdf

Cited In (2)

• Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure
• Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure

This page was built for software: FMona