Titel

Merkliste
1 Ergebnisse

Model-Checking on Ordered Structures:

Eickmeyer, Kord ; Heuvel, Jan van den ; Kawarabayashi, Ken-Ichi...
ACM Transactions on Computational Logic (TOCL). 21 (2020) 2 - p. 1-28 , 2020

Link: https://dl.acm.org/doi/10.1145/3360011

RT Journal
T1 <Title>Model-Checking on Ordered Structures</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3360011&Exemplar=1&LAN=DE
				
A1 Eickmeyer, Kord
A1 Heuvel, Jan van den
A1 Kawarabayashi, Ken-Ichi
A1 Kreutzer, Stephan
A1 Mendez, Patrice Ossona De
A1 Pilipczuk, Michał
A1 Quiroz, Daniel A.
A1 Rabinovich, Roman
A1 Siebertz, Sebastian
PB ACM
YR 2020
SN 1529-3785
SN 1557-945X
K1 Model checking
K1 algorithmic meta-theorems
K1 order-invariance
K1 successor-invariance
K1 Theory of computation
K1 Logic
K1 Finite Model Theory
K1 Design and analysis of algorithms
K1 Parameterized complexity and exact algorithms
K1 Fixed parameter tractability
K1 Computational complexity and cryptography
K1 Complexity theory and logic
K1 Mathematics of computing
K1 Discrete mathematics
K1 Graph theory
K1 Graph algorithms
K1 Graphs and surfaces
JF ACM Transactions on Computational Logic (TOCL)
VO 21
IS 2
SP 1
OP 28
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3360011
DO https://dl.acm.org/doi/10.1145/3360011
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)