Compiler optimization correctness by temporal logic (Q1768477): Difference between revisions

@@ Property / DOI @@
-.1023/B:LISP.0000029444.99264.c0
@@ Property / DOI: 10.1023/B:LISP.0000029444.99264.c0 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q123207362
@@ Property / Wikidata QID: Q123207362 / rank @@
+Normal rank
@@ Property / DOI @@
+.1023/B:LISP.0000029444.99264.C0
@@ Property / DOI: 10.1023/B:LISP.0000029444.99264.C0 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1768477