Atlas home || Conferences | Abstracts | about Atlas

Abstracts

This is an archive of abstracts accepted to this conference. For more listing and sorting options, see the active list.

Anatoly Petrovich Beltiukov Polynomial Programming Language
Patrick Cegielski On the additive theory of prime numbers
Paola D'Aquino Quadratic forms over models of ID_0+Omega_1
Mikael H. Khachatryan On the complexity of representation of functions obtained by word recursion
L.P. Lisovik Decidable singular theories of two successor functions with an extra predicate
Alexander Lyaletski Intelligent Mathematical Text Processing and Evidential Paradigm
Seda N. Manukian On some relations between arithmetical systems and algebras of recursively enumerable sets
Hrant B. Marandjian Searching Solutions to General Form Recursive Equations
Yuri Matiyasevich Diophantine flavour of Kolmogorov complexity
Jean-Pierre Ressayre An extension of Gabrielov's theorem of the complement
K.V. Shahbazyan On some recognizable sets of natural number sequences
A. Slissenko Some algorithmic and logic questions arising in the analysis of security
Igor D. Zaslavsky On Luk-completeness of axiomatic systems based on three-valued logic

© 2006 Atlas Conferences Inc.