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 21, 2023

Date in CU Experts

January 29, 2024 9:29 AM

Full Author List

Mayr P

author count

1

published in

Leibniz International Proceedings in Informatics Journal

presented at event

48th International Symposium on Mathematical Foundations of Computer Science August 28— September 1, 2023, Bordeaux, France Conference

Other Profiles

International Standard Serial Number (ISSN)

1868-8969

Electronic International Standard Serial Number (EISSN)

1868-8969

Digital Object Identifier (DOI)

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

Additional Document Info

start page

66:1

end page

66:12

volume

48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)

issue

272