scientific article
From MaRDI portal
Publication:3740224
zbMath0603.68033MaRDI QIDQ3740224
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
satisfiabilitypropositional mu-calculusleast fixpoint operatorpropositional dynamic logic game logic
Related Items (1)
This page was built for publication: