Florian Bruse und Modal Fixpoint - Info zur Person

(1 - 13 von 13

)

[ ] Alternation Is Strict For Higher-Order Modal Fixpoint...

arxiv.org

Authors: Florian Bruse (Universität Kassel). (Submitted on 14 Sep 2016). Abstract: We study the expressive power of Alternating Parity Krivine Automata (APKA), ...

The Complexity of Model-Checking the Tail-Recursive ...Archive ouverte HAL

hal.science

von F Bruse · · Zitiert von: 2 — Florian Bruse, Martin Lange, Etienne Lozes. The Complexity of Model-Checking the Tail-Recursive. Fragment of Higher-Order Modal Fixpoint ...

AlMoTh Universität BremenUni Bremen

www.uni-bremen.de

Florian Bruse: A Decidable Non-Regular Modal Fixpoint Logic. 15: :45 Coffee Break. 15: :15. Sarah Kleest-Meißner: Discovering Event Queries from ...

Alternating Parity Krivine Automata | SpringerLink

link.springer.com

Higher-Order Modal Fixpoint Logic HFL is a non-regular extension of the modal μ-calculus by a typed λ-calculus. The model-checking problem for this logic is...

Alternation Is Strict For Higher-Order Modal Fixpoint Logic : Florian...

archive.org

by Florian Bruse. Publication date Usage http://arxiv.org/licenses/ nonexclusive-distrib Topics Logic in Computer Science, Formal Languages ...

Accepted papersunict.it

gandalf2016.dmi.unict.it

Florian Bruse. Alternation Is Strict For Higher-Order Modal Fixpoint Logic; Florian Bruse, Daniel Kernberger and Martin Lange. A Canonical Model Construction ...

CONCUR – List of accepted paperslacl.fr

qonfest2021.lacl.fr

... Florian Bruse and Martin Lange A Decidable Non-Regular Modal Fixpoint Logic; Rucha Kulkarni, Umang Mathur and Andreas Pavlogiannis Dynamic Data Race ...

EXPRESS/SOS 2021ru.is

icetcs.ru.is

Eric Alsmann, Florian Bruse and Martin Lange, "Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics". [slides] ...

Publications | SCALE

scale.i3s.unice.fr

Florian Bruse, Martin Lange, Etienne Lozes The Complexity of Model-Checking the Tail-Recursive Fragment of Higher-Order Modal Fixpoint Logic. › node

The Complexity of Model-Checking the Tail-Recursive Fragment of...

hal.archives-ouvertes.fr

von F Bruse · · Zitiert von: 1 — Florian Bruse, Martin Lange, Etienne Lozes. The Complexity of Model-Checking the Tail-Recursive Fragment of Higher-Order Modal Fixpoint Logic. › ha...

The Complexity of Model-Checking the Tail Hal-Inria

hal.inria.fr

von F Bruse · · Zitiert von: 1 — The Complexity of Model-Checking the Tail-Recursive Fragment of Higher-Order Modal Fixpoint Logic · Florian Bruse · Martin Lange · Etienne Lozes ... › hal

The Complexity of Model-Checking the Tail-Recursive HAL-Inriahal.inria.fr › ...

hal.inria.fr

Florian Bruse, Martin Lange, Etienne Lozes. The Complexity of Model-Checking the Tail-Recursive Fragment of Higher-Order Modal Fixpoint Logic. Fundamenta ...

Alle Infos zum Namen "Florian Bruse"

Verwandte Suchanfragen zu Florian Bruse

Daniel Kernberger
Luke Hunsberger
Michael Falk

Eric Alsmann
Jörg Kreiker
Sören Möller

Markus Dübon
Nicole Calza
Kerstin Groß

Person "Bruse" (1)
Vorname "Florian" (37292)
Name "Bruse" (269)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Florian Bruse und Modal Fixpoint Person-Info