A refined version of general E-unification (Q5210804): Difference between revisions

@@ Property / author @@
-Rolf Socher-Ambrosius
@@ Property / author: Rolf Socher-Ambrosius / rank @@
-Normal rank
@@ Property / author @@
+Rolf Socher-Ambrosius
@@ Property / author: Rolf Socher-Ambrosius / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_48
+Normal rank
@@ Property / OpenAlex ID @@
+W1833666738
@@ Property / OpenAlex ID: W1833666738 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved general \(E\)-unification method
@@ Property / cites work: An improved general \(E\)-unification method / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets of transformations for general E-unification
+Normal rank