Quantaloidal nuclei, the syntactic congruence and tree automata (Q1184038): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q587019 |
ReferenceBot (talk | contribs) Changed an Item |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / reviewed by | |||
| Property / reviewed by: Peter T. Johnstone / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Variation through enrichment / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4721656 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An axiomatics for bicategories of modules / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4132170 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3995720 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4179852 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Linear logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3965241 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3028349 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3978743 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3934579 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Metric spaces, generalized logic, and closed categories / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Constructing locales from quantales / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3769981 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3996704 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3197878 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Free quantaloids / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Quantales and (noncommutative) linear logic / rank | |||
Normal rank | |||
Latest revision as of 14:56, 15 May 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantaloidal nuclei, the syntactic congruence and tree automata |
scientific article |
Statements
Quantaloidal nuclei, the syntactic congruence and tree automata (English)
0 references
28 June 1992
0 references
The author continues his programme of ``quantaloidizing'' mathematics. Here he shows how work of Betti, Kasangian and Rosebrugh on the categorical formulation of the theory of tree automata can be expressed in terms of quantaloids. It is not clear (to the reviewer, at least) that any significant new insights emerge from this reformulation.
0 references
tree automata
0 references
quantaloids
0 references
