Instruction sequence processing operators (Q715042): Difference between revisions

@@ Property / author @@
-Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
-Normal rank
@@ Property / author @@
+Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / 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/s00236-012-0154-2
+Normal rank
@@ Property / OpenAlex ID @@
+W3102090504
@@ Property / OpenAlex ID: W3102090504 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Program algebra for component code
@@ Property / cites work: Program algebra for component code / rank @@
+Normal rank
@@ Property / cites work @@
+Program algebra for sequential code
@@ Property / cites work: Program algebra for sequential code / rank @@
+Normal rank
@@ Property / cites work @@
+A thread algebra with multi-level strategic interleaving
+Normal rank
@@ Property / cites work @@
+Program algebra with a jump-shift instruction
@@ Property / cites work: Program algebra with a jump-shift instruction / rank @@
+Normal rank
@@ Property / cites work @@
+Transmission Protocols for Instruction Streams
@@ Property / cites work: Transmission Protocols for Instruction Streams / rank @@
+Normal rank
@@ Property / cites work @@
+Instruction sequence processing operators
@@ Property / cites work: Instruction sequence processing operators / rank @@
+Normal rank
@@ Property / cites work @@
+On the operating unit size of load/store architectures
+Normal rank
@@ Property / cites work @@
+A thread calculus with molecular dynamics
@@ Property / cites work: A thread calculus with molecular dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Inversive meadows and divisive meadows
@@ Property / cites work: Inversive meadows and divisive meadows / rank @@
+Normal rank
@@ Property / cites work @@
+On the Behaviours Produced by Instruction Sequences under Execution
+Normal rank
@@ Property / cites work @@
+On the expressiveness of single-pass instruction sequences
+Normal rank
@@ Property / cites work @@
+Combining programs and state machines
@@ Property / cites work: Combining programs and state machines / rank @@
+Normal rank
@@ Property / cites work @@
+Execution architectures for program algebra
@@ Property / cites work: Execution architectures for program algebra / rank @@
+Normal rank
@@ Property / cites work @@
+The rational numbers as an abstract data type
@@ Property / cites work: The rational numbers as an abstract data type / rank @@
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Relative complexity of algebras
@@ Property / cites work: Relative complexity of algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376062
@@ Property / cites work: Q4376062 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Solvability of the halting problem for certain classes of Turing machines
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392275
@@ Property / cites work: Q3392275 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on files in pascal
@@ Property / cites work: A note on files in pascal / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank