Tameness and the power of programs over monoids in DA
Grosshans, Nathan, Mckenzie, Pierre, Segoufin, Luc
Published in Logical methods in computer science (02.08.2022)
Published in Logical methods in computer science (02.08.2022)
Get full text
Journal Article