1
0
0
(1 - 25 von 35
)
FOSSACS Programme - etaps 2020www.etaps.org › programme
etaps.org
Three Variables Suffice for Real-Time Logic; Peter Habermehl and Dietrich Kuske. On Presburger arithmetic extended with modulo counting ...
Dietrich Kuske & Markus Lohrey, Logical aspects of Cayley-graphs: the...
philpapers.org
We prove that a finitely generated group is context-free whenever its Cayley-graph has a decidable monadic second-order theory. Hence, by the seminal work of...
First-Order and Counting Theories of Ω-Automatic Structures.philpapers.org › rec › KUSFAC
philpapers.org
Dietrich Kuske & Markus Lohrey Journal of Symbolic Logic 76 (4): Some Natural Decision Problems in Automatic Graphs.
Vorlesung Ausgewählte Kapitel der Logik: Lokalitiät
www2.informatik.hu-berlin.de
Dietrich Kuske und Nicole Schweikardt, Gaifman normal forms for counting extensions of first-order logic. In Proc. ICALP LINK. Martin Grohe und Nicole Schweikardt, First-Order Query Evaluation with Cardinality Conditions. In Proc. PODS 2018, pp LINK.
oDOBS - Author page: Manfred Droste
lupus.cs.uni-dortmund.de
Author. Author page shows the information on a certain author. The page consists of four main parts. The chronologically listed publications, which were published by the current ...
Logic for Programming and Automated Reasoning: 7th ...books.google.com › books
books.google.de
... Undecidable Fragments of the Fluent Calculus Steffen Hölldobler1 and Dietrich Kuske 2 ⋆ 1 Institut für Künstliche Intelligenz, TU Dresden, D Dresden, ...
Computer Science Logic: 9th International Workshop, CSl '95, Annual...
books.google.de
This book contains a carefully refereed selection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL...
Half a Century of Inspirational Research: Honoring the Scientific...
books.google.de
... Dietrich Kuske , and Anca Muscholl ) , uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces ( Paul Gastin and Dietrich ...
[ ] First-Order Logic with Counting: At Least, Weak Hanf...
arxiv.org
Authors: Dietrich Kuske, Nicole Schweikardt. (Submitted on 3 Mar 2017). Abstract: We introduce the logic FOCN(P) which extends first-order logic by counting and by numerical predicates from a set P, and which can be viewed as a natural generalisation of various counting logics that have been studied in the literature.
dblp: Algorithmic-Logical Theory of Infinite Structures
dblp.uni-trier.de
Bibliographic content of Algorithmic-Logical Theory of Infinite Structures
Dietrich Kuske - dblpdblp.org › Persons
dblp.org
Dietrich Kuske, Nicole Schweikardt: First-Order Logic with Counting: At Least, Weak Hanf Normal Forms Always Exist and Can Be Computed!
24th EACSL Annual Conference on Computer Science Logic
logic.las.tu-berlin.de
Computer Science Logic Berlin, September Technische Universität Berlin Home ... Dietrich Kuske, Jiamou Liu and Anastasia Moskvina.
AlMoTh tks.informatik.uni-frankfurt.de
www.tks.informatik.uni-frankfurt.de
9:00- 9:30 Dietrich Kuske, The Isomorphism Problem for Automatic Structures; 9:30-10:00 Alexander Kartzow, Collapsible Pushdown Graphs of Level 2 are Tree-Automatic; 10:00-10:15 Short Coffee Break 10:15-10:45 Stefan Schulz, Decision Problems for FO-Logic with Reachability
Dietrich Kuske
easychair.org
LICS 2016: THIRTY FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE. PROGRAMINDEXES. Dietrich Kuske. Organization: TU Ilmenau. Web page: http://eiche.theoinf.tu-ilmenau.de/kuske. Pages in this Program. Program · Program for Wednesday, July 6th · Disclaimer | Powered by EasyChair ...
Laboratoire Spécification et Vérification
www.lsv.fr
[1] Dietrich Kuske and Nicole Schweikardt. First-order logic with counting. In 32nd Annual ACM/IEEE Symposium on Logic in Computer ...
DBLP: Dietrich Kuske
vldbarc.org
Dietrich Kuske: Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic CoRR abs : (2008).
Algorithmic-Logical Theory of Infinite Structures
vldbarc.org
Dietrich Kuske: Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic. Electronic Edition · CiteSeerX ...
Uniform satisfiability problem for local temporal logics Hal-Inriahal.inria.fr › hal
hal.inria.fr
Paul Gastin 1, 2 Dietrich Kuske 3. Détails. 1 MEXICO - Modeling and Exploitation of Interaction and Concurrency. LSV - Laboratoire Spécification et ...
First-order and counting theories of ω-automatic structures
projecteuclid.org
Journal of Symbolic Logic
Logical Aspects of the Lexicographic Order on 1-Counter ...www.springerprofessional.de › logical-aspects-of-the-lexicographic-orde...
www.springerprofessional.de
Autor: Dietrich Kuske. Verlag: Springer Berlin Heidelberg. Erschienen in: Mathematical Foundations of Computer Science » Jetzt Zugang zum Volltext ...
DROPS - Infinite and Bi-infinite Words with Decidable Monadic Theories
drops.dagstuhl.de
@InProceedings{kuske_et_al:LIPIcs:2015:5432, author = {Dietrich Kuske and Jiamou Liu and Anastasia Moskvina}, title = {{Infinite and Bi-infinite Words with Decidable Monadic Theories}}, booktitle = {24th EACSL Annual Conference on Computer Science Logic (CSL 2015)}, pages = { }, series = {Leibniz ...
Nicole Schweikardt
bmsstudconf.github.io
Dietrich Kuske and Nicole Schweikardt: First-order logic with counting. In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ...
To homepages of some other logicianswww.math.nsc.ru › ~asm256 › Logicians
www.math.nsc.ru
Andrew Glass · Sergei Goncharov · Valentina Harisanov · Carl Jockush · Klaus Keimel · Julia Knight · Dietrich Kuske · Steffen Lempp · Anil Nerode · Andre Nies
Nicolas Bedon
dpt-info-sciences.univ-rouen.fr
[11], Dietrich Kuske. Infinite series-parallel posets: logic and languages. In ICALP 2000, volume of Lect. Notes in Comput. Sci., pages Springer-Verlag, [12], Dietrich Kuske. Towards a language theory for infinite N-free pomsets. Theoret. Comput. Sci., 299: , [13], H. Laüchli and J. Leonard.
LICS
lics.siglog.org
Authors: Dietrich Kuske Markus Lohrey. Abstract ... {KuskeLohrey-Monadicchainlogicov, author = {Dietrich Kuske and Markus Lohrey} ...
Alle Infos zum Namen "Dietrich Kuske"
sortiert nach Relevanz / Datum