### Constant assignment macro instructions of SCMFSA

- Part II. Journal of Formalized Mathematics
, 1996

"... ..."

(Show Context)
### The SCMPDS computer and the basic semantics of its instructions

- Journal of Formalized Mathematics
, 1999

"... ..."

(Show Context)
### Conditional branch macro instructions of SCM+FSA

- Part II; Formalized Mathematics
, 1997

"... ..."

(Show Context)
### The construction and shiftability of program blocks for SCMPDS

- Journal of Formalized Mathematics
, 1999

"... ..."

(Show Context)
### The construction and computation of conditional statements for SCMPDS

- Journal of Formalized Mathematics
, 1999

"... ..."

(Show Context)
### On the composition of macro instructions of standard computers

- Formalized Mathematics

"... ..."

(Show Context)
### Computation of two consecutive program blocks for SCMPDS

- Journal of Formalized Mathematics
, 1999

"... ..."

(Show Context)
### The loop and times macroinstruction for SCM+FSA

- Formalized Mathematics
, 1997

"... ..."

(Show Context)
### On the composition of non-parahalting macro instructions

- Journal of Formalized Mathematics
, 1998

"... ..."

(Show Context)