Classes of finite relations as initial abstract data types. I (Q1179266): Difference between revisions
From MaRDI portal
Removed claims |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Virgil Emil Căzănescu / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Boleslaw Wojdyło / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3026323 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3748458 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3787988 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3826107 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3485876 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3221381 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Perspective View of Discrete Automata and Their Design / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the algebraic structure of rooted trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3930617 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3702515 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4134935 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3725522 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3851612 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: More on advice on structuring compilers and proving them correct / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4176939 / rank | |||
Normal rank |
Latest revision as of 13:44, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Classes of finite relations as initial abstract data types. I |
scientific article |
Statements
Classes of finite relations as initial abstract data types. I (English)
0 references
26 June 1992
0 references
It is known that the finite functions and the finite partial functions form the initial algebraic theory and the initial pointed algebraic theory, respectively. The authors prove a similar result for a poorer algebraic structure. Axiomatizations for sixteen types of finite relations are given. These classes of relations are intersections of the following four basic classes of relations: total relations, surjective relations, partial functions and injective relations.
0 references
initial algebra
0 references
symmetric strict monoidal category
0 references
Axiomatizations
0 references
finite relations
0 references