### The loop and times macroinstruction for SCM+FSA

- Formalized Mathematics
, 1997

"... ..."

(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)
### theorems about the generalized halting problems of while macro instructions are proved.

"... ..."

(Show Context)