- Tytuł:
- Thue specifications and their monadic second-order properties
- Autorzy:
-
Knapik, T.
Calbrix, H. - Data publikacji:
- 1999
- Słowa kluczowe:
-
string-rewriting
infinite graphs
automata
monadic second-order logic - Pokaż więcej
- Dostawca treści:
- BazTech