Results 1 - 10
of
52
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)