Q5367058 (Q5367058): Difference between revisions

← Older edit Newer edit →

@@ description / en / description / en @@
-scientific article; zbMATH DE number 6790156
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / zbMATH Open document ID @@
-.68118
@@ Property / zbMATH Open document ID: 1459.68118 / rank @@
-Normal rank
@@ Property / DOI @@
-.23638/LMCS-13(3:19)2017
@@ Property / DOI: 10.23638/LMCS-13(3:19)2017 / rank @@
-Normal rank
@@ Property / author @@
-Shiguang Feng
@@ Property / author: Shiguang Feng / rank @@
-Normal rank
@@ Property / author @@
-Markus Lohrey
@@ Property / author: Markus Lohrey / rank @@
-Normal rank
@@ Property / author @@
-Karin Quaas
@@ Property / author: Karin Quaas / rank @@
-Normal rank
@@ Property / publication date @@
-October 2017Timestamp +2017-10-12T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2017-10-12T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 12 October 2017 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1412.3644
@@ Property / full work available at URL: https://arxiv.org/abs/1412.3644 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q17
@@ Property / Mathematics Subject Classification ID: 68Q17 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-6790156
@@ Property / zbMATH DE Number: 6790156 / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-metric temporal logic
@@ Property / zbMATH Keywords: metric temporal logic / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-times propositional temporal logic
@@ Property / zbMATH Keywords: times propositional temporal logic / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-freeze LTL
@@ Property / zbMATH Keywords: freeze LTL / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-path checking problem
@@ Property / zbMATH Keywords: path checking problem / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-deterministic one-counter machines
@@ Property / zbMATH Keywords: deterministic one-counter machines / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-data words
@@ Property / zbMATH Keywords: data words / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ Property / arXiv ID @@
-.3644
@@ Property / arXiv ID: 1412.3644 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5367058

Revision as of 10:14, 6 May 2024

No description defined

Language	Label	Description	Also known as
English	No label defined	No description defined

Q5367058 (Q5367058): Difference between revisions

Revision as of 10:14, 6 May 2024

Statements

Sitelinks

Mathematics(0 entries)