Претрага
Резултати
GenClo and TermEquiv are EXPTIME-complete [2008]
Mašulović DraganA nonfinitely based finite semiring [2007]
Dolinka IgorOn dualizing clones as Lawvere theories [2006]
Mašulović DraganIdempotent distributive semirings with involution [2003]
Dolinka IgorA variety with undecidable equational theory and solvable word problem [1998]
Crvenković Siniša; Dolinka IgorFinite representation of commutator sequences [2022]
Ajhinger Erhard; Mudrinski NebojšaФилтери
По типу