|
|||||
|
|
On the undecidability of logics with converse, nominals, recursion and counting |
|
| Authors: | Piero A Bonatti A Peron |
| Affiliation: | Università di Napoli Federico II, Dipartimento di Scienze Fisiche, Complesso Universitario di Monte S. Angelo, I-80126 Napoli, Italy |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |