D. Kozen, 29TH IEEE CONFERENCE ON FOUNDATIONS OF COMPUTER-SCIENCE, OCTOBER 24-26, 1988 - FOREWORD, Journal of computer and system sciences, 47(2), 1993, pp. 249-249
Citations number
NO
Categorie Soggetti
System Science","Computer Applications & Cybernetics