Molecular dynamics (Q1858435): Difference between revisions

@@ Property / author @@
-Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
-Normal rank
@@ Property / author @@
+Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with 4 values: true, false, divergent and meaningless
+Normal rank
@@ Property / cites work @@
+Program algebra for component code
@@ Property / cites work: Program algebra for component code / rank @@
+Normal rank
@@ Property / cites work @@
+Program algebra for sequential code
@@ Property / cites work: Program algebra for sequential code / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266083
@@ Property / cites work: Q4266083 / rank @@
+Normal rank