Result Details

On Reiterman Conversion

PAVLÍK, J. On Reiterman Conversion. Marseille: Laboratiire d'Informatique Fondamentale de Marseill, 2011. s. 239-242.

Type

conference proceedings

Language

Czech

Authors

Pavlík Jan, Mgr., Ph.D., IM DAAG (FME)

Abstract

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

Keywords

algebra, type, theory, variety

Published

2011

Pages

239–242

Publisher

Laboratiire d'Informatique Fondamentale de Marseill

Place

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"
}

Departments

Institute of Mathematics (IM)