Hasil Pencarian - Martin Langé
- Menampilkan 1 - 20 hasil dari 46
- Ke Halaman Berikutnya
-
1
The Arity Hierarchy in the Polyadic μ-Calculus oleh Martin Lange
Diterbitkan 2015-09-01
Artikel -
2
Model-Checking the Higher-Dimensional Modal mu-Calculus oleh Martin Lange, Etienne Lozes
Diterbitkan 2012-02-01
Artikel -
3
Local Strategy Improvement for Parity Game Solving oleh Oliver Friedmann, Martin Lange
Diterbitkan 2010-06-01
Artikel -
4
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs oleh Arno Ehle, Norbert Hundeshagen, Martin Lange
Diterbitkan 2018-03-01
Artikel -
5
-
6
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity oleh Julian Gutierrez, Felix Klaedtke, Martin Lange
Diterbitkan 2012-10-01
Artikel -
7
-
8
Buffered Simulation Games for Büchi Automata oleh Milka Hutagalung, Martin Lange, Etienne Lozes
Diterbitkan 2014-05-01
Artikel -
9
The Fixpoint-Iteration Algorithm for Parity Games oleh Florian Bruse, Michael Falk, Martin Lange
Diterbitkan 2014-08-01
Artikel -
10
Exosomes: A New Hope for Angiogenesis-Mediated Bone Regeneration oleh Martin Lange, Patrick Babczyk, Edda Tobiasch
Diterbitkan 2024-05-01
Artikel -
11
A Comparison of Steam Turbine Control Valve Geometries and Their Dynamic Behavior at Part Load oleh Christian Windemuth, Martin Lange, Ronald Mailach
Diterbitkan 2023-12-01
Artikel -
12
A Canonical Model Construction for Iteration-Free PDL with Intersection oleh Florian Bruse, Daniel Kernberger, Martin Lange
Diterbitkan 2016-09-01
Artikel -
13
Satisfiability Games for Branching-Time Logics oleh Oliver Friedmann, Martin Lange, Markus Latte
Diterbitkan 2013-10-01
Artikel -
14
The Complexity of Model Checking Higher-Order Fixpoint Logic oleh Roland Axelsson, Martin Lange, Rafal Somla
Diterbitkan 2007-06-01
Artikel -
15
-
16
Model-Checking Process Equivalences oleh Martin Lange, Etienne Lozes, Manuel Vargas Guzmán
Diterbitkan 2012-10-01
Artikel -
17
Relevance of indirect transmission for wildlife disease surveillance oleh Martin Lange, Stephanie Kramer-Schadt, Hans-Hermann Thulke
Diterbitkan 2016-11-01
Artikel -
18
-
19
-
20