Detail výsledku

On Reiterman Conversion

PAVLÍK, J. On Reiterman Conversion. Marseille: Laboratiire d'Informatique Fondamentale de Marseill, 2011. s. 239-242.
Typ
konferenční sborník (ne stať)
Jazyk
česky
Autoři
Pavlík Jan, Mgr., Ph.D., ÚM OAAG (FSI)
Abstrakt

The Reiteman isomorphism used originally to prove the algebraicity of f-algebraic categories is extended on the broader family of polymeric categories.

Klíčová slova

algebra, type, theory, variety

Rok
2011
Strany
239–242
Vydavatel
Laboratiire d'Informatique Fondamentale de Marseill
Místo
Marseille
BibTeX 
@proceedings{BUT91789,
  editor="Jan {Pavlík}",
  title="On Reiterman Conversion",
  year="2011",
  pages="239--242",
  publisher="Laboratiire d'Informatique Fondamentale de Marseill",
  address="Marseille"
}
Pracoviště
Ústav matematiky (ÚM)
Nahoru