Pretraga
Rezultati
GenClo and TermEquiv are EXPTIME-complete [2008]
Mašulović Dragan
A nonfinitely based finite semiring [2007]
Dolinka Igor
On dualizing clones as Lawvere theories [2006]
Mašulović Dragan
Idempotent distributive semirings with involution [2003]
Dolinka Igor
A variety with undecidable equational theory and solvable word problem [1998]
Crvenković Siniša; Dolinka Igor
Finite representation of commutator sequences [2022]
Ajhinger Erhard; Mudrinski Nebojša
Filteri
Po tipu