Detail publikace
On Reiterman Conversion
PAVLÍK, J.
Český název
On Reiterman Conversion
Anglický název
On Reiterman Conversion
Typ
Konferenční sborník (ne stať)
Jazyk
cs
Originální abstrakt
The Reiteman isomorphism used originally to prove the algebraicity of f-algebraic categories is extended on the broader family of polymeric categories.
Anglický 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 česky
algebra, type, theory, variety
Klíčová slova anglicky
algebra, type, theory, variety
Vydáno
2011-07-26
Nakladatel
Laboratiire d'Informatique Fondamentale de Marseill
Místo
Marseille
Strany od–do
239–242
Počet stran
4
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"
}