- Tytuł:
- Some fragments of second-order logic over the reals for which satisfiability and equivalence are (un)decidable
- Autorzy:
-
Grimson, R.
Kuijpers, B. - Data publikacji:
- 2014
- Słowa kluczowe:
-
second-order logic
equivalence of formulas
containment
(un)decidability results
predicates - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł