The logic-termal equivalence is polynomial-time decidable (Q1144374): Difference between revisions

@@ Property / author @@
-Viktor K. Sabelfeld
@@ Property / author: Viktor K. Sabelfeld / rank @@
-Normal rank
@@ Property / author @@
+Viktor K. Sabelfeld
@@ Property / author: Viktor K. Sabelfeld / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4107904
@@ Property / cites work: Q4107904 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5652657
@@ Property / cites work: Q5652657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068060
@@ Property / cites work: Q4068060 / rank @@
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Äquivalente Transformationen für Flußdiagramme
@@ Property / cites work: Äquivalente Transformationen für Flußdiagramme / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1144374