Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics (Q941187): Difference between revisions

@@ 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/s10559-007-0101-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2087188217
@@ Property / OpenAlex ID: W2087188217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556474
@@ Property / cites work: Q5556474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3290722
@@ Property / cites work: Q3290722 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Glushkov algebras and clone theory
@@ Property / cites work: Glushkov algebras and clone theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613923
@@ Property / cites work: Q5613923 / rank @@
+Normal rank
@@ Property / cites work @@
+Issues of algorithmics and Glushkov's systems of algorithmic algebras
+Normal rank
@@ Property / cites work @@
+A relational model of data for large shared data banks
+Normal rank
@@ Property / cites work @@
+Q4091841
@@ Property / cites work: Q4091841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4746796
@@ Property / cites work: Q4746796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3036716
@@ Property / cites work: Q3036716 / rank @@
+Normal rank
@@ Property / cites work @@
+The problem of functional completeness of metaalgebras of regular events
+Normal rank
@@ Property / cites work @@
+Integrated tools for design and synthesis of classes of algorithms and programs
+Normal rank
@@ Property / cites work @@
+Algebras of hyperschemes and integrated tools for synthesis of programs in modern object-oriented environments
+Normal rank