Hochschulschrift | Online-Publikation
Decision problems over infinite graphs : higher-order pushdown systems and synchronized products
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Aachen, Techn. Hochsch., Diss., 2005
- Classification
-
Mathematik
- Keyword
-
Unendlicher Graph
Entscheidungsproblem
- Creator
- URN
-
urn:nbn:de:hbz:82-opus-11474urn:nbn:de:hbz:82-20051492
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:22 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.
Object type
- Hochschulschrift
- Online-Publikation
Associated
Other Objects (12)
Contributions to the analysis and control of higher-order infinite-dimensional systems
Infinite regular games in the higher-order pushdown and the parametrized setting
Higher-order computability
Higher-Order Tableaux
Higher-order misinformation
Higher-order learning
Series of sums of products of higher-order Bernoulli functions
Higher-order recurrence relations, Sobolev-type inner products and matrix factorizations
Polarized higher-order subtyping
Explaining Higher-order Defeat
Optimality conditions for strict minimizers of higher-order in semi-infinite multi-objective optimization
Exploring higher-order risk effects
Contributions to the analysis and control of higher-order infinite-dimensional systems
Infinite regular games in the higher-order pushdown and the parametrized setting
Higher-order computability
Higher-Order Tableaux
Higher-order misinformation
Higher-order learning
Series of sums of products of higher-order Bernoulli functions
Higher-order recurrence relations, Sobolev-type inner products and matrix factorizations
Polarized higher-order subtyping
Explaining Higher-order Defeat
Optimality conditions for strict minimizers of higher-order in semi-infinite multi-objective optimization
Exploring higher-order risk effects
Contributions to the analysis and control of higher-order infinite-dimensional systems
Infinite regular games in the higher-order pushdown and the parametrized setting
Higher-order computability
Higher-Order Tableaux
Higher-order misinformation
Higher-order learning
Series of sums of products of higher-order Bernoulli functions
Higher-order recurrence relations, Sobolev-type inner products and matrix factorizations
Polarized higher-order subtyping
Explaining Higher-order Defeat
Optimality conditions for strict minimizers of higher-order in semi-infinite multi-objective optimization