Revised6 Report on the Algorithmic Language Scheme (Q3401233): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q60620379
@@ Property / Wikidata QID: Q60620379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3655272
@@ Property / cites work: Q3655272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997095
@@ Property / cites work: Q3997095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398769
@@ Property / cites work: Q4398769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language scheme
@@ Property / cites work: Revised report on the algorithmic language scheme / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796809990074
+Normal rank
@@ Property / OpenAlex ID @@
+W2101225843
@@ Property / OpenAlex ID: W2101225843 / rank @@
+Normal rank