Artykuł w czasopiśmie
Brak miniatury
Licencja
Dostęp zamkniętySome undecidable properties of SOS specifications
Autor
Nachyła, Beata
Data publikacji
2017
Abstrakt (EN)
Several properties of SOS specifications with negative premises, often used to define what it means for a specification to be meaningful, are proved undecidable. This includes the existence of least or unique supported or stable models, and specification completeness.
Dyscyplina PBN
informatyka
Czasopismo
Journal of Logical and Algebraic Methods in Programming
Tom
87
Strony od-do
94-109
ISSN
2352-2208
Licencja otwartego dostępu
Dostęp zamknięty