All-Path Reachability Logic (Q5170834): Difference between revisions

← Older edit

@@ description / en / description / en @@
+scientific article; zbMATH DE number 7056229
@@ Property / zbMATH Open document ID @@
+.68015
@@ Property / zbMATH Open document ID: 1421.68015 / rank @@
+Normal rank
@@ Property / publication date @@
+May 2019Timestamp +2019-05-17T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2019-05-17T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 17 May 2019 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7056229
@@ Property / zbMATH DE Number: 7056229 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Toolchain
@@ Property / describes a project that uses: Toolchain / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PLT Redex
@@ Property / describes a project that uses: PLT Redex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K tool
@@ Property / describes a project that uses: K tool / rank @@
+Normal rank