Instruction Sequences for Computer Science - Atlantis Studies in Computing
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Atlantis Press

9789491216640, 9789491216657

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computer-Architectural Issues

Instruction Sequences for Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-65-7_6 ◽

2012 ◽

pp. 131-150

Author(s):

Jan A. Bergstra ◽

Cornelis A. Middelburg

Download Full-text

Introduction

Instruction Sequences for Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-65-7_1 ◽

2012 ◽

pp. 1-3

Author(s):

Jan A. Bergstra ◽

Cornelis A. Middelburg

Download Full-text

Instruction Sequences and Process Algebra

Instruction Sequences for Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-65-7_7 ◽

2012 ◽

pp. 151-171

Author(s):

Jan A. Bergstra ◽

Cornelis A. Middelburg

Keyword(s):

Process Algebra ◽

Instruction Sequences

Download Full-text

Variations on a Theme

Instruction Sequences for Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-65-7_8 ◽

2012 ◽

pp. 173-198

Author(s):

Jan A. Bergstra ◽

Cornelis A. Middelburg

Keyword(s):

Variations On A Theme

Download Full-text

Computation-Theoretic Issues

Instruction Sequences for Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-65-7_5 ◽

2012 ◽

pp. 97-130

Author(s):

Jan A. Bergstra ◽

Cornelis A. Middelburg

Download Full-text

Instruction Processing

Instruction Sequences for Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-65-7_3 ◽

2012 ◽

pp. 33-74

Author(s):

Jan A. Bergstra ◽

Cornelis A. Middelburg

Download Full-text

Expressiveness of Instruction Sequences

Instruction Sequences for Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-65-7_4 ◽

2012 ◽

pp. 75-95

Author(s):

Jan A. Bergstra ◽

Cornelis A. Middelburg

Keyword(s):

Instruction Sequences

Download Full-text

Instruction Sequences

Instruction Sequences for Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-65-7_2 ◽

2012 ◽

pp. 5-32

Author(s):

Jan A. Bergstra ◽

Cornelis A. Middelburg

Keyword(s):

Instruction Sequences

Download Full-text