제도 (논리학) (Korean Wikipedia)

Analysis of information sources in references of the Wikipedia article "제도 (논리학)" in Korean language version.

refsWebsite

Global rank Korean rank

2^nd place

3^rd place

1,923^rd place

99^th place

5^th place

11^th place

doi.org

Goguen, Joseph; Burstall, Rodney M. (1984). 〈Introducing institutions〉. Clarke, Edmund; Kozen, Dexter. 《Logics of programs: workshop, Carnegie Mellon University, Pittsburgh, PA, June 6–8, 1983》. Lecture Notes in Computer Science (영어) 164. Springer-Verlag. 221–256쪽. doi:10.1007/3-540-12896-4_366. ISBN 978-3-540-12896-0. ISSN 0302-9743. Zbl 0543.68021.
Goguen, J. A.; Burstall, R. M. (1992년 1월). “Institutions: abstract model theory for specification and programming”. 《Journal of the Association for Computing Machinery》 (영어) 39 (1): 95–146. doi:10.1145/147508.147524. Zbl 0799.68134.

Goguen, Joseph; Burstall, Rodney M. (1984). 〈Introducing institutions〉. Clarke, Edmund; Kozen, Dexter. 《Logics of programs: workshop, Carnegie Mellon University, Pittsburgh, PA, June 6–8, 1983》. Lecture Notes in Computer Science (영어) 164. Springer-Verlag. 221–256쪽. doi:10.1007/3-540-12896-4_366. ISBN 978-3-540-12896-0. ISSN 0302-9743. Zbl 0543.68021.

Goguen, Joseph; Burstall, Rodney M. (1984). 〈Introducing institutions〉. Clarke, Edmund; Kozen, Dexter. 《Logics of programs: workshop, Carnegie Mellon University, Pittsburgh, PA, June 6–8, 1983》. Lecture Notes in Computer Science (영어) 164. Springer-Verlag. 221–256쪽. doi:10.1007/3-540-12896-4_366. ISBN 978-3-540-12896-0. ISSN 0302-9743. Zbl 0543.68021.
Goguen, J. A.; Burstall, R. M. (1992년 1월). “Institutions: abstract model theory for specification and programming”. 《Journal of the Association for Computing Machinery》 (영어) 39 (1): 95–146. doi:10.1145/147508.147524. Zbl 0799.68134.