A New Perspective on FO Model Checking of Dense Graph Classes (Q4635873): Difference between revisions

← Older edit

@@ description / en / description / en @@
+scientific article; zbMATH DE number 7246557
@@ Property / zbMATH Open document ID @@
+.68093
@@ Property / zbMATH Open document ID: 1446.68093 / rank @@
+Normal rank
@@ Property / DOI @@
+.1145/3383206
@@ Property / DOI: 10.1145/3383206 / rank @@
+Normal rank
@@ Property / published in @@
+ACM Transactions on Computational Logic
@@ Property / published in: ACM Transactions on Computational Logic / rank @@
+Normal rank
@@ Property / publication date @@
+September 2020Timestamp +2020-09-11T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2020-09-11T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 11 September 2020 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7246557
@@ Property / zbMATH DE Number: 7246557 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+first-order logic
@@ Property / zbMATH Keywords: first-order logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithmic metatheorems
@@ Property / zbMATH Keywords: algorithmic metatheorems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bounded-degree graphs
@@ Property / zbMATH Keywords: bounded-degree graphs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fixed-parameter tractability
@@ Property / zbMATH Keywords: fixed-parameter tractability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interpretations
@@ Property / zbMATH Keywords: interpretations / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3040102297
@@ Property / OpenAlex ID: W3040102297 / rank @@
+Normal rank