On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras Conference Proceeding

Overview

CU Boulder Authors

Mayr, Peter

publication date

August 28, 2023

Date in CU Experts

January 29, 2024 9:29 AM

Full Author List

Mayr P

Full Editor List

Leroux J; Lombardy S; Peleg D

author count

1

citation count

2

published in

Leibniz International Proceedings in Informatics Journal

presented at event

48th International Symposium on Mathematical Foundations of Computer Science-MFCS Conference

Other Profiles

International Standard Serial Number (ISSN)

1868-8969

Digital Object Identifier (DOI)

https://doi.org/10.4230/lipics.mfcs.2023.66

Additional Document Info

volume

272