Yuri Matiyasevich, Anil Nerode. Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science Logic at St. Petersburg . Annals of Pure and Applied Logic, 78(1-3):1, 1996.
@article{MatiyasevichN96,
title = {Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science Logic at St. Petersburg },
author = {Yuri Matiyasevich and Anil Nerode},
year = {1996},
tags = {e-science, logic},
researchr = {https://researchr.org/publication/MatiyasevichN96},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {78},
number = {1-3},
pages = {1},
}