( en | de | ru )

 

Disambiguation of "Weiß, Armin"

Author of the publication

copydeleteadd this publication to your clipboard
Satisfiability Problems for Finite Groups.

, , , and . ICALP, volume 229 of LIPIcs, page 127:1-127:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Armin Weiß

Armin Weiß

Robert Armin

Gerhard Arminger

Peter Armin

 

Other publications of authors with the same name

Lower Bounds for Sorting 16, 17, and 18 Elements., and . ALENEX, page 201-213. SIAM, (2023)An Automaton Group with PSPACE-Complete Word Problem., and . STACS, volume 154 of LIPIcs, page 6:1-6:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Equation Satisfiability in Solvable Groups., , , and . Theory Comput. Syst., 68 (4): 740-757 (August 2024)Improved Parallel Algorithms for Generalized Baumslag Groups., and . LATIN, volume 13568 of Lecture Notes in Computer Science, page 658-675. Springer, (2022)Finite groups with geodetic Cayley graphs., , , , and . CoRR, (2024)Groups with ALOGTIME-Hard Word Problems and PSPACE-Complete Circuit Value Problems., , , and . CCC, volume 169 of LIPIcs, page 29:1-29:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Hardness of Equations over Finite Solvable Groups Under the Exponential Time Hypothesis.. ICALP, volume 168 of LIPIcs, page 102:1-102:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)The Power Word Problem., and . MFCS, volume 138 of LIPIcs, page 43:1-43:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Parallel complexity for nilpotent groups., and . Int. J. Algebra Comput., 32 (5): 895-928 (2022)NaGe bei hohen Drücken auch im NaPb-Typ, , , and . Angewandte Chemie, 97 (6): 499--500 (1985)