- Tytuł:
- The set of PrAl+valid in a finite structure is undecidable
- Autorzy:
- Borowska, A.
- Data publikacji:
- 2013
- Słowa kluczowe:
-
Probabilistic Algorithmic Logic
existential iteration quantifier
probabilistyczna logika algorytmiczna
kwantyfikator egzystencjalny iteracji - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł