Erscheinungsjahr
Medientyp
Datenquelle
Format
Lizenz
Sprache
-
Characterizing Positionality in Games of Infinite Duration over Infinite Graphs
Freier ZugriffDOAJ | 2023|Schlagwörter: computer science - computer science and game theory, computer science - logic in computer science, Electronic computers. Computer science -
Conditional Dichotomy of Boolean Ordered Promise CSPs
Freier ZugriffDOAJ | 2023|Schlagwörter: computer science - computational complexity, computer science - logic in computer science, Electronic computers. Computer science -
Higher Order Automatic Differentiation of Higher Order Functions
Freier ZugriffDOAJ | 2022|Schlagwörter: computer science - programming languages, computer science - logic in computer science, Electronic computers. Computer science -
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs
Freier ZugriffDOAJ | 2023|Schlagwörter: computer science - computer science and game theory, computer science - formal languages and automata theory, computer science - logic in computer science, Electronic computers. Computer science -
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Freier ZugriffDOAJ | 2022|Schlagwörter: computer science - logic in computer science, computer science - programming languages, Electronic computers. Computer science -
Interface Modeling for Quality and Resource Management
Freier ZugriffDOAJ | 2021|Schlagwörter: computer science - logic in computer science, computer science - discrete mathematics, computer science - performance, Electronic computers. Computer science -
Robustness against Read Committed for Transaction Templates with Functional Constraints
Freier ZugriffDOAJ | 2023|Schlagwörter: computer science - databases, computer science - logic in computer science, Electronic computers. Computer science -
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games
Freier ZugriffDOAJ | 2020|Schlagwörter: computer science - computer science and game theory, computer science - logic in computer science, Electronic computers. Computer science -
Games Where You Can Play Optimally with Arena-Independent Finite Memory
Freier ZugriffDOAJ | 2022|Schlagwörter: computer science - computer science and game theory, computer science - formal languages and automata theory, computer science - logic in computer science, Electronic computers. Computer science -
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
Freier ZugriffDOAJ | 2022|Schlagwörter: computer science - logic in computer science, Electronic computers. Computer science -
Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries
Freier ZugriffDOAJ | 2023|Schlagwörter: computer science - databases, computer science - logic in computer science, Electronic computers. Computer science -
Determinacy in Discrete-Bidding Infinite-Duration Games
Freier ZugriffDOAJ | 2021|Schlagwörter: computer science - computer science and game theory, computer science - logic in computer science, Electronic computers. Computer science -
Theory of higher order interpretations and application to Basic Feasible Functions
Freier ZugriffDOAJ | 2020|Schlagwörter: computer science - logic in computer science, computer science - computational complexity, computer science - programming languages, Electronic computers. Computer science -
Arena-Independent Finite-Memory Determinacy in Stochastic Games
Freier ZugriffDOAJ | 2023|Schlagwörter: computer science - computer science and game theory, computer science - formal languages and automata theory, computer science - logic in computer science, Electronic computers. Computer science -
Parity Games with Weights
Freier ZugriffDOAJ | 2019|Schlagwörter: computer science - computer science and game theory, computer science - logic in computer science, Electronic computers. Computer science -
Smart Choices and the Selection Monad
Freier ZugriffDOAJ | 2023|Schlagwörter: computer science - logic in computer science, computer science - machine learning, computer science - programming languages, Electronic computers. Computer science -
Efficient Full Higher-Order Unification
Freier ZugriffDOAJ | 2021|Schlagwörter: computer science - logic in computer science, Electronic computers. Computer science -
Flexible Correct-by-Construction Programming
Freier ZugriffDOAJ | 2023|Schlagwörter: computer science - logic in computer science, computer science - programming languages, computer science - software engineering, Electronic computers. Computer science -
A first-order logic characterization of safety and co-safety languages
Freier ZugriffDOAJ | 2023|Schlagwörter: computer science - artificial intelligence, computer science - logic in computer science, Electronic computers. Computer science -
Rewriting with Acyclic Queries: Mind Your Head
Freier ZugriffDOAJ | 2023|Schlagwörter: computer science - databases, computer science - logic in computer science, Electronic computers. Computer science
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.