Finite satisfiability for guarded fixpoint logic |
| |
Authors: | Vince Bárány Mikołaj Bojańczyk |
| |
Affiliation: | Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Banacha 2, 02-097 Warsaw, Poland |
| |
Abstract: | The finite satisfiability problem for guarded fixpoint logic is decidable and complete for 2ExpTime (resp. ExpTime for formulas of bounded width). |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|