|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
13th Annual Symposium on Switching and Automata Theory (SWAT 1972)
On homomorphisms, simulations, correctness and subroutines for programs and program schemes
October 25-October 27
| ASCII Text | x | ||
| J. A. Goguen, "On homomorphisms, simulations, correctness and subroutines for programs and program schemes," Foundations of Computer Science, IEEE Annual Symposium on, pp. 52-60, 13th Annual Symposium on Switching and Automata Theory (SWAT 1972), 1972. | |||
| BibTex | x | ||
| @article{ 10.1109/SWAT.1972.10, author = {J. A. Goguen}, title = {On homomorphisms, simulations, correctness and subroutines for programs and program schemes}, journal ={Foundations of Computer Science, IEEE Annual Symposium on}, volume = {0}, year = {1972}, issn = {0272-4847}, pages = {52-60}, doi = {http://doi.ieeecomputersociety.org/10.1109/SWAT.1972.10}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Foundations of Computer Science, IEEE Annual Symposium on TI - On homomorphisms, simulations, correctness and subroutines for programs and program schemes SN - 0272-4847 SP52 EP60 A1 - J. A. Goguen, PY - 1972 VL - 0 JA - Foundations of Computer Science, IEEE Annual Symposium on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SWAT.1972.10
Citation:
J. A. Goguen, "On homomorphisms, simulations, correctness and subroutines for programs and program schemes," focs, pp.52-60, 13th Annual Symposium on Switching and Automata Theory (SWAT 1972), 1972
Usage of this product signifies your acceptance of the Terms of Use.