Hochschulschrift | Online-Publikation
Decision problems over infinite graphs : higher-order pushdown systems and synchronized products
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Aachen, Techn. Hochsch., Diss., 2005
- Klassifikation
-
Mathematik
- Schlagwort
-
Unendlicher Graph
Entscheidungsproblem
- Urheber
- URN
-
urn:nbn:de:hbz:82-opus-11474urn:nbn:de:hbz:82-20051492
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
Higher-order computability
Higher-Order Tableaux
Contributions to the analysis and control of higher-order infinite-dimensional systems
Infinite regular games in the higher-order pushdown and the parametrized setting
Polarized higher-order subtyping
Exploring higher-order risk effects
Higher-order constraint logic programming
Higher-Order Order-Sorted Resolution
Higher-Order Multi-Valued Resolution
Analytics, fate, and function of higher-order heme degradation products in health and disease
Identification using higher-order moments restrictions
Bounded reasoning and higher-order uncertainty
Higher-order computability
Higher-Order Tableaux
Contributions to the analysis and control of higher-order infinite-dimensional systems
Infinite regular games in the higher-order pushdown and the parametrized setting
Polarized higher-order subtyping
Exploring higher-order risk effects
Higher-order constraint logic programming
Higher-Order Order-Sorted Resolution
Higher-Order Multi-Valued Resolution
Analytics, fate, and function of higher-order heme degradation products in health and disease
Identification using higher-order moments restrictions
Bounded reasoning and higher-order uncertainty
Higher-order computability
Higher-Order Tableaux
Contributions to the analysis and control of higher-order infinite-dimensional systems
Infinite regular games in the higher-order pushdown and the parametrized setting
Polarized higher-order subtyping
Exploring higher-order risk effects
Higher-order constraint logic programming
Higher-Order Order-Sorted Resolution
Higher-Order Multi-Valued Resolution
Analytics, fate, and function of higher-order heme degradation products in health and disease
Identification using higher-order moments restrictions