### Conditional branch macro instructions of SCM+FSA

- Part II; Formalized Mathematics
, 1997

"... ..."

(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)
### Initialization halting concepts and their basic properties of SCMFSA

- Journal of Formalized Mathematics
, 1998

"... ..."

### The Composition of Functors and Transformations in Alternative Categories

, 1999

"... ..."

(Show Context)
### The for (going up) macro instruction

- Journal of Formalized Mathematics
, 1998

"... ..."

(Show Context)
### Thewhile macro instructions of SCMFSA. Part II

- Journal of Formalized Mathematics
, 1998

"... ..."

(Show Context)