Satisfiability problems for finite groups
Tytuł:
Satisfiability problems for finite groups
Konferencja:
International Colloquium on Automata Languages and Programming [ICALP]
Rok:
2022
Strony:
127:1-127:20
Tom (seria wydawnicza):
ICALP'22; 49th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Numer DOI:
https://doi.org/10.4230/LIPIcs.ICALP.2022.127
Link:
https://doi.org/10.4230/LIPIcs.ICALP.2022.127