- One-variable logic meets Presburger arithmetic
Opis
- Tytuł: One-variable logic meets Presburger arithmetic
- Tytuł czasopisma: Theoretical Computer Science
- Twórca: Bednarczyk, Bartosz
- Strony: s. 141-146
- Data wydania: 2020
- Typ: Tekst
- Identyfikator: ISSN 0304-3975 ; https://doi.org/10.1016/j.tcs.2019.09.028
- Język publikacji: eng
- Wersja Cyfrowa: https://doi.org/10.1016/j.tcs.2019.09.028
- Licencja: OTHER
- Szczegółowy typ obiektu: art
- Typ obiektu: Artykuł
- Tom/Wolumen/Zeszyt: Vol. 802 (2020)