Item:Q5121279: Difference between revisions
From MaRDI portal
Item:Q5121279
Created a new Item |
EloiFerrer (talk | contribs) Redirected to Q4635873 Tag: New redirect |
||||||||||||||
(5 intermediate revisions by 5 users not shown) | |||||||||||||||
redirect | redirect | ||||||||||||||
Q4635873 | |||||||||||||||
label / en | label / en | ||||||||||||||
description / en | description / en | ||||||||||||||
Property / instance of | |||||||||||||||
Property / instance of: scholarly article / rank | |||||||||||||||
Property / title | |||||||||||||||
Property / title: A New Perspective on FO Model Checking of Dense Graph Classes (English) / rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1446.68093 / rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1145/3383206 / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Jakub Gajarský / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Petr Hliněný / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Jan Obdržálek / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Daniel Lokshtanov / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: M. S. Ramanujan / rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: ACM Transactions on Computational Logic / rank | |||||||||||||||
Property / publication date | |||||||||||||||
| |||||||||||||||
Property / publication date: 11 September 2020 / rank | |||||||||||||||
Property / full work available at URL | |||||||||||||||
Property / full work available at URL: https://arxiv.org/abs/1805.01823 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Q60 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 03B70 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 05C75 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Q25 / rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 7246557 / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: first-order logic / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: algorithmic metatheorems / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: bounded-degree graphs / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: fixed-parameter tractability / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: interpretations / rank | |||||||||||||||
Latest revision as of 10:19, 6 May 2024
Redirect to: