Satisfiability problems for finite groups
Tytuł:
Satisfiability problems for finite groups
Konferencja:
International Colloquium on Automata Languages and Programming [ICALP]
Rok:
2022
Opis:
https://ruj.uj.edu.pl/xmlui/handle/item/298545
Strony:
20
Tom (seria wydawnicza):
229
Numer DOI:
https://doi.org/10.4230/LIPIcs.ICALP.2022.127
Link:
https://doi.org/10.4230/LIPIcs.ICALP.2022.127