Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ham, Lucy, Jackson, Marcel
Format:	Preprint
Published:	2022
Subjects:	Logic Computational Complexity Logic in Computer Science 03C13, 08B05, 08B26, 68Q15, 68Q19, 08A30, 20M07
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2212.02653