Pages that link to "Item:Q5277905"
From MaRDI portal
The following pages link to Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL <sup>+</sup> (Q5277905):
Displayed 1 item.