Tree Languages Defined in First-Order Logic with One Quantifier Alternation (Q5894002): Difference between revisions

← Older edit

@@ description / en / description / en @@
-scientific article; zbMATH DE number 5828003
+scientific article; zbMATH DE number 5313327
@@ Property / zbMATH Open document ID @@
+.03019
@@ Property / zbMATH Open document ID: 1170.03019 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-540-70583-3_20
@@ Property / DOI: 10.1007/978-3-540-70583-3_20 / rank @@
+Normal rank
@@ Property / published in @@
+Automata, Languages and Programming
@@ Property / published in: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / publication date @@
+August 2008Timestamp +2008-08-19T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2008-08-19T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 19 August 2008 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5313327
@@ Property / zbMATH DE Number: 5313327 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2854
@@ Property / arXiv ID: 1009.2854 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1879697109
@@ Property / OpenAlex ID: W1879697109 / rank @@
+Normal rank