AMCA: Compositional Logics and Abstract Computability over Nominative Data by Nikolaj S. Nikitchenko

Atlas Mathematical Conference Abstracts || Conferences | Abstracts | for Organizers | About AMCA

Second St.Petersburg Days of Logic and Computability
August 24-26, 2003
Petersburg Department of Steklov Institute of Mathematics
St. Petersburg, Russia

Organizers
Sergei ADIAN (Russia), Sergei ARTEMOV (Russia/USA), Nikolai KOSSOVSKI (Russia), Maurice MARGENSTERN (France), Grigori MINTS (USA), Yuri MATIYASEVICH (Russia), the chairman, Nikolai NAGORNY (Russia), Vladimir OREVKOV (Russia), Anatol SLISSENKO (France)

View Abstracts
Conference Homepage

Compositional Logics and Abstract Computability over Nominative Data
by
Nikolaj S. Nikitchenko
Department of the Theory of Programming, Kyiv National Taras Shevchenko University, Ukraine
Coauthors: Stepan S. Shkilniak

Long abstract (45Kb) was sent to the Program Committee.

Date received: March 17, 2003

Copyright © 2003 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Mathematical Conference Abstracts. Document # cajy-14.