Author of the publication

Report on a Practical Application of ASMs in Software Design

, , and . Abstract State Machines, page 361--366. (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Pi2-models of extensions of Kripke-Platek set theory.. Logic Colloquium, page 213-232. Elsevier, (1985)Report on a Practical Application of ASMs in Software Design, , and . Abstract State Machines, page 361--366. (2000)Recursive coloration of countable graphs., and . Ann. Pure Appl. Log., 25 (1): 19-45 (1983)A Result on Implications of sigma;1-Sentences and Its Application to Normal Form Theorems., and . J. Symb. Log., 46 (3): 634-642 (1981)Extensible algorithms., and . Logic and Machines, volume 171 of Lecture Notes in Computer Science, page 162-182. Springer, (1983)