Merkliste 
 1 Ergebnisse 
 
1

Modular Path Queries with Arithmetic:

Michaliszyn, Jakub ; Otop, Jan ; Wieczorek, Piotr
Logical Methods in Computer Science.  17, Issue 3 (2021)  - p. , 2021