Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Some undecidable properties of SOS specifications

Uproszczony widok
dc.abstract.enSeveral 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.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorKlin, Bartosz
dc.contributor.authorNachyła, Beata
dc.date.accessioned2024-01-26T07:53:12Z
dc.date.available2024-01-26T07:53:12Z
dc.date.issued2017
dc.description.financeNie dotyczy
dc.description.volume87
dc.identifier.doi10.1016/J.JLAMP.2016.08.005
dc.identifier.issn2352-2208
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/120221
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.ispartofJournal of Logical and Algebraic Methods in Programming
dc.relation.pages94-109
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleSome undecidable properties of SOS specifications
dc.typeJournalArticle
dspace.entity.typePublication