Decidable weighted expressions with Presburger combinators (Q5915759): Difference between revisions

← Older edit

@@ description / en / description / en @@
+scientific article; zbMATH DE number 7100311
@@ Property / zbMATH Open document ID @@
+.68113
@@ Property / zbMATH Open document ID: 1429.68113 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/j.jcss.2019.05.005
@@ Property / DOI: 10.1016/j.jcss.2019.05.005 / rank @@
+Normal rank
@@ Property / published in @@
+Journal of Computer and System Sciences
@@ Property / published in: Journal of Computer and System Sciences / rank @@
+Normal rank
@@ Property / publication date @@
+August 2019Timestamp +2019-08-30T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2019-08-30T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 30 August 2019 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7100311
@@ Property / zbMATH DE Number: 7100311 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962687554
@@ Property / OpenAlex ID: W2962687554 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted automata
@@ Property / zbMATH Keywords: weighted automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Presburger arithmetic
@@ Property / zbMATH Keywords: Presburger arithmetic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantitative languages
@@ Property / zbMATH Keywords: quantitative languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted expressions
@@ Property / zbMATH Keywords: weighted expressions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5915759