Algorithmic properties of branching-time logics

zbMATH Open1461.03001MaRDI QIDQ2922686

Author name not available (Why is that?)

Publication date: 14 October 2014

Full work available at URL: http://d-nb.info/983028249/34

Mathematics Subject Classification ID

No records found.

This page was built for publication: Algorithmic properties of branching-time logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2922686)