Decidability of Well Quasi-Order and Atomicity for Equivalence Relations Under Embedding Orderings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Decidability of Well Quasi-Order and Atomicity for Equivalence Relations Under Embedding Orderings ; day:14 ; month:2 ; year:2024 ; pages:1-26
Order ; (14.2.2024), 1-26
- Creator
-
Ironmonger, V.
Ruškuc, N.
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11083-024-09659-9
- URN
-
urn:nbn:de:101:1-2404221223017.303045378402
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:48 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ironmonger, V.
- Ruškuc, N.
- SpringerLink (Online service)
Other Objects (12)
Gauge embedding procedure: classical and quantum equivalence between dual models
Mental representation of equivalence and order
Inequality of Well-Being and Isoelastic Equivalence Scales
Equivalence and Bifurcations of Finite Order Stochastic Processes
Higher order gravities and the Strong Equivalence Principle
Using decision diagrams in the design of reversible circuit : embedding - synthesis - debugging - equivalence checking
Early Vedic – Morphosyntactic structures, Part 3: Word Order, Embedding
Clones preserving a quasi-order
Embedding short-range correlations in relativistic density functionals through quasi-deuterons
AUTOMORPHISM GROUPS OF SYSTEMS OF EQUIVALENCE AND PARTIAL ORDER RELATIONS
Free Higher-Order Logic - Notion, Definition and Embedding in HOL
On Quasi-equivalence of Quasi-free KMS States restricted to an Unbounded Subregion of the Rindler Spacetime
Gauge embedding procedure: classical and quantum equivalence between dual models
Mental representation of equivalence and order
Inequality of Well-Being and Isoelastic Equivalence Scales
Equivalence and Bifurcations of Finite Order Stochastic Processes
Higher order gravities and the Strong Equivalence Principle
Using decision diagrams in the design of reversible circuit : embedding - synthesis - debugging - equivalence checking
Early Vedic – Morphosyntactic structures, Part 3: Word Order, Embedding
Clones preserving a quasi-order
Embedding short-range correlations in relativistic density functionals through quasi-deuterons
AUTOMORPHISM GROUPS OF SYSTEMS OF EQUIVALENCE AND PARTIAL ORDER RELATIONS
Free Higher-Order Logic - Notion, Definition and Embedding in HOL
On Quasi-equivalence of Quasi-free KMS States restricted to an Unbounded Subregion of the Rindler Spacetime
Gauge embedding procedure: classical and quantum equivalence between dual models
Mental representation of equivalence and order
Inequality of Well-Being and Isoelastic Equivalence Scales
Equivalence and Bifurcations of Finite Order Stochastic Processes
Higher order gravities and the Strong Equivalence Principle
Using decision diagrams in the design of reversible circuit : embedding - synthesis - debugging - equivalence checking
Early Vedic – Morphosyntactic structures, Part 3: Word Order, Embedding
Clones preserving a quasi-order
Embedding short-range correlations in relativistic density functionals through quasi-deuterons
AUTOMORPHISM GROUPS OF SYSTEMS OF EQUIVALENCE AND PARTIAL ORDER RELATIONS
Free Higher-Order Logic - Notion, Definition and Embedding in HOL