Pushing for Weighted Tree Automata (Q3088063): Difference between revisions

← Older edit

@@ description / en / description / en @@
+scientific article; zbMATH DE number 6828648
@@ Property / zbMATH Open document ID @@
+.68394
@@ Property / zbMATH Open document ID: 1390.68394 / rank @@
+Normal rank
@@ Property / DOI @@
+.23638/LMCS-14(1:5)2018
@@ Property / DOI: 10.23638/LMCS-14(1:5)2018 / rank @@
+Normal rank
@@ Property / author @@
+Thomas Hanneforth
@@ Property / author: Thomas Hanneforth / rank @@
+Normal rank
@@ Property / publication date @@
+January 2018Timestamp +2018-01-23T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2018-01-23T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 23 January 2018 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6828648
@@ Property / zbMATH DE Number: 6828648 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted tree automaton
@@ Property / zbMATH Keywords: weighted tree automaton / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pushing
@@ Property / zbMATH Keywords: pushing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+minimization
@@ Property / zbMATH Keywords: minimization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+equivalence testing
@@ Property / zbMATH Keywords: equivalence testing / rank @@
+Normal rank