Synthesis from Weighted Specifications with Partial Domains over Finite Words
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 10.4230/LIPICS.FSTTCS.2020.46
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2020
- Urheber
- DOI
-
10.18154/RWTH-2021-03036
- URN
-
urn:nbn:de:101:1-2021090606463782459283
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:56 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.
Beteiligte
- Filiot, Emmanuel
- Löding, Christof
- Winter, Sarah
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2020
Ähnliche Objekte (12)
Partial Quicksort and weighted branching processes
Initial computability, algebraic specifications, and partial algebras
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
Doubly weighted degenerate pseudodifferential operators on non-compact domains
Weighted inequalities and degenerate elliptic partial differential equations
Multimodal bag-of-words for cross domains sentiment analysis
Partial Fourier approximation of the Lamé equations in axisymmetric domains
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Besov regularity of stochastic partial differential equations on bounded Lipschitz domains
Besov regularity of stochastic partial differential equations on bounded Lipschitz domains
Besov regularity of stochastic partial differential equations on bounded Lipschitz domains
Partial Quicksort and weighted branching processes
Initial computability, algebraic specifications, and partial algebras
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
Doubly weighted degenerate pseudodifferential operators on non-compact domains
Weighted inequalities and degenerate elliptic partial differential equations
Multimodal bag-of-words for cross domains sentiment analysis
Partial Fourier approximation of the Lamé equations in axisymmetric domains
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Besov regularity of stochastic partial differential equations on bounded Lipschitz domains
Besov regularity of stochastic partial differential equations on bounded Lipschitz domains
Besov regularity of stochastic partial differential equations on bounded Lipschitz domains
Partial Quicksort and weighted branching processes
Initial computability, algebraic specifications, and partial algebras
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
Doubly weighted degenerate pseudodifferential operators on non-compact domains
Weighted inequalities and degenerate elliptic partial differential equations
Multimodal bag-of-words for cross domains sentiment analysis
Partial Fourier approximation of the Lamé equations in axisymmetric domains
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Besov regularity of stochastic partial differential equations on bounded Lipschitz domains
Besov regularity of stochastic partial differential equations on bounded Lipschitz domains