Some coinductive graphs (Q917541): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Second-order quantifiers and the complexity of theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relational structures determined by their finite induced substructures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complete theories with only universal and existential axioms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complete Coinductive Theories. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complete Coinductive Theorems. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Graphs determined by their finite induced subgraphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coinductive ℵ<sub>0</sub>-categorical theories / rank | |||
Normal rank |
Revision as of 10:04, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some coinductive graphs |
scientific article |
Statements
Some coinductive graphs (English)
0 references
1990
0 references
universal theory of graphs
0 references
coinductive theory
0 references
coinductive graphs
0 references