„Dags“
Suchergebnisse
1.000+ Treffer
-
Numerical and algebraic algorithms and computer-assisted proofs – 05391 executive summary ; Dagstuhl seminar
-
Real Computation and Complexity (Dagstuhl Seminar 9545)
-
Exact Exponential Algorithms for Clustering Problems
-
On Decidability of Concurrent Kleene Algebra
-
Understanding Cutting Planes for QBFs
-
Kernels for Deletion to Classes of Acyclic Digraphs
-
Front Matter, Table of Contents, Preface, Organization, List of Authors
-
Definability of linear equation systems over groups and rings
-
Computing Graph Roots Without Short Cycles
-
Traffic Signal Optimization Using Cyclically Expanded Networks
-
Frontmatter, Table of Contents, Preface, Organization
-
Fresh Approaches to Business Process Modeling (Dagstuhl Seminar 16191)
-
Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)
-
23rd International Workshop on Algorithms in Bioinformatics (WABI 2023)
-
49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)
-
6th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'06)
-
Elements for Weighted Answer-Set Programming
-
Brief Announcement: Intrinsic Universality in Seeded Active Tile Self-Assembly
-
On the Runtime of Local Mutual Exclusion for Anonymous Dynamic Networks
-
Algorithmic Techniques in Physics (Dagstuhl Seminar 9751)