scientific article; zbMATH DE number 6767614

From MaRDI portal

Revision as of 00:03, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5351976

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2015.487zbMath1373.03015MaRDI QIDQ5351976

Dmitriy Traytel

Publication date: 31 August 2017

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

zbMATH Keywords

coalgebra decision procedure Isabelle WS1S Brzozowski derivatives

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (4)

Nested antichains for WS1S ⋮ Lazy Automata Techniques for WS1S ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure

Uses Software

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5351976&oldid=20056091"

Pages with script errors