Monadic second-order incorrectness logic for GP 2
| العنوان: | Monadic second-order incorrectness logic for GP 2 |
|---|---|
| المؤلفون: | Christopher M. Poskitt, Detlef Plump |
| المصدر: | Journal of Logical and Algebraic Methods in Programming. 130:100825 |
| بيانات النشر: | Elsevier BV, 2023. |
| سنة النشر: | 2023 |
| مصطلحات موضوعية: | Computational Theory and Mathematics, Logic, Software, Theoretical Computer Science |
| تدمد: | 2352-2208 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::ff077f068192de15c6bcbcb9f37efebf https://doi.org/10.1016/j.jlamp.2022.100825 |
| حقوق: | CLOSED |
| رقم الأكسشن: | edsair.doi...........ff077f068192de15c6bcbcb9f37efebf |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 23522208 |
|---|