- Tytuł:
- Order-theoretic Trees : Monadic Second-order Descriptions and Regularity
- Autorzy:
- Courcelle, Bruno
- Data publikacji:
- 2022
- Słowa kluczowe:
-
order-theoretic tree
algebra
regular term
monadic second-order logic. - Pokaż więcej
- Dostawca treści:
- BazTech