Sketches and parametrization (Q1314408): Difference between revisions

@@ Property / describes a project that uses @@
+AXIOM
@@ Property / describes a project that uses: AXIOM / 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.1016/0304-3975(94)90072-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2088721868
@@ Property / OpenAlex ID: W2088721868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5187433
@@ Property / cites work: Q5187433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815465
@@ Property / cites work: Q3815465 / rank @@
+Normal rank
@@ Property / cites work @@
+Sketches and computation – I: basic definitions and static evaluation
+Normal rank
@@ Property / cites work @@
+Q5592283
@@ Property / cites work: Q5592283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3318755
@@ Property / cites work: Q3318755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Design and implementation of symbolic computation systems. International symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
+Normal rank