A Coalgebraic Decision Procedure for WS1S

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelCSL 2015
RedaktørerStephan Kreutzer
Antal sider17
Vol/bind41
ForlagSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Publikationsdato2015
Sider487-503
DOI
StatusUdgivet - 2015
Eksternt udgivetJa
NavnLIPIcs

ID: 245669083