- Tytuł:
-
The set of PrAl+valid in a finite structure is undecidable
Zbiór formuł logiki PrAl+ prawdziwych w skończonej strukturze jest nierozstrzygalny - Autorzy:
- Borowska, A.
- Tematy:
-
Probabilistic Algorithmic Logic
existential iteration quantifier
probabilistyczna logika algorytmiczna
egzystencjalny kwantyfikator iteracji - Pokaż więcej
- Data publikacji:
- 2013
- Wydawca:
- Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
- Dostawca treści:
- Biblioteka Nauki
Artykuł