DocumentCode

2202102

Title

On homomorphisms, simulations, correctness and subroutines for programs and program schemes

Author

Goguen, J.A., Jr.

fYear

1972

fDate

25-27 Oct. 1972

Firstpage

52

Lastpage

60

Keywords

Algebra; Algorithms; Computer science; Humans; Logic; Mathematics; Programming profession; Proposals; Set theory; Shape;

fLanguage

English

Publisher

ieee

Conference_Titel

Switching and Automata Theory, 1972., IEEE Conference Record of 13th Annual Symposium on

Conference_Location

USA

ISSN

0272-4847

Type

conf

DOI

10.1109/SWAT.1972.10

Filename

4569694