Studies in the theory of algebraic models of programs with procedures (Q300376): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6598735
@@ Property / zbMATH DE Number: 6598735 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of program models
@@ Property / cites work: A hierarchy of program models / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive programs and the hierarchy of their models
+Normal rank
@@ Property / cites work @@
+On an equivalence checking technique for algebraic models of programs
+Normal rank
@@ Property / cites work @@
+Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:300376