141 followers
Introducing Institutions (1984) : Goguen, Joseph a. Burstall, Ro... DOI: https://t.co/pxyvcIEcmx #theorem_proving #institution #logic #my_bibtex
Introducing Institutions (1984) : Goguen, Joseph a. Burstall, Ro... DOI: https://t.co/pxyvcIEcmx #theorem_proving #institution #logic #my_bibtex
Introducing Institutions (1984) : Goguen, Joseph a. and Burstall, Rod M. DOI: https://t.co/pxyvcIEcmx #institution #logic #theorem_proving #my_bibtex
Vardi, M. Y.-Yet Another Process Logic https://t.co/DFpeW4Tcpi #OA