scientific article; zbMATH DE number 7356851
From MaRDI portal
Publication:4992506
zbMath1464.03019arXiv1307.4468MaRDI QIDQ4992506
No author found.
Publication date: 9 June 2021
Full work available at URL: https://arxiv.org/abs/1307.4468
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux ⋮ A goal-directed decision procedure for hybrid PDL
This page was built for publication: