GR(1) is equivalent to R(1)
Autor: | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
---|---|
Rok vydání: | 2023 |
Předmět: | |
Zdroj: | Information Processing Letters. 179:106319 |
ISSN: | 0020-0190 |
DOI: | 10.1016/j.ipl.2022.106319 |
Databáze: | OpenAIRE |
Externí odkaz: |