Contributed papers accepted at the 2nd PLS

Foto Afrati,
Eugenie
Foustoukos, Theodore
Andronikos, National Technical University of Athens, Greece
"Datalog Trees and Their Automata"

Paola D'Aquino
"Nonstandard finite fields in $I\Delta_{0} + \Omega_{1}$"

Vessela Baleva, Faculty of
Mathematics and Computer Science, Sofia University, Bulgaria
"Structure degree jump"

J.C. Bicarregui, Th.
Dimitrakos, B.M. Matthews,
B.
Ritchie, CLRC Rutherford Appleton Laboratory, Oxfordshire, UK, K.
Lano,
T. Maibaum, Dept.
of Computing, Imperial College, London, UK
"The VDM+B project: Objectives and Progress"

R. Camerlo, A.S.
Kechris, California Institute of Technology, USA

"Countable structures with a fixed group of automorphisms"

S. Chopra, K.
Georgatos, R. Parikh,
City University of New York, USA
"NonMonotonic Inference on Belief Sequences"

Ch. Cornaros, C.
Dimitrakopoulos, University of Athens, Greece
"On endextensions of models of $\Sigma_n$induction"

Angel Ditchev, Faculty of
Mathematics and Computer Science, Sofia University, Bulgaria
"Characterization of the Structures Which Admit Effective Enumerations"

Andrea Formisano, University
"La Sapienza" of Rome, Dept. of Computer Science
"On the completeness of theorybased variants of resolution"

Silvia Ghilezan, Faculty of Engineering,
University of Novi Sad, Yugoslavia
"Topology in lambda calculus"

Valentin Goranko, Dept. of Mathematics,
Rand Afrikaans University, Johannesburg, South Africa
"Trees and finite Branching"

Dusan Guller, Bratislava, Institute
of Informatics, Comenius University, Bratislava, Slovakia
"One generalization of Herbrand's theorem"

Kai Hauser, Dept. of Mathematics,
University of California, Berkeley, USA & Lehrstuhl fur Mathematische
Logik, Humboldt Universitaet, Berlin, Germany
"Godel's program revisited"

Kyriakos Keremedis, Eleftherios
Tachtsis, Dept. of Mathematics, University of the Aegean, Karlovasi,
Greece
"On Loeb and weakly Loeb Hausdorff spaces"

Kyriakos Keremedis, Eleftherios
Tachtsis, Dept. of Mathematics, University of the Aegean, Karlovasi,
Greece
"On Lindelof Metric Spaces and Weak Forms Of the Axiom Choice"

Aggelos Kiayias, CIS Department,
Brooklyn College, New York, USA,
Aris
Pagourtzis, Stathis
Zachos, Computer Science Division, Dept. of ECE, NTUA, Athens, Greece
"CookReductions Blur Structural Differences Between Functional
Complexity Classes"

George Koletsos, George
Stavrinos, Dept. of Mathematics, National Technical University of Athens,
Greece
"The structure of the reducibility proofs"

Richard Lipton, Anastasios
Viglas, Computer Science Departement, Princeton University, USA
"On the Power of Automata Based Proof Systems"

Benedikt Lowe, University of
Bonn, Germany
"Dualizing the StoneCech compactification"

Yiannis Manakos, Athens, Greece
"The narrow extension of predicates as a basis for set theory"

Thierry Massart,
Laurent
Van Begin, Eric Van Nuffel,
University of Brussels, Computer Science Department, Belgium
"Design of timed systems using a realtime process algebra"

Milenko Mosurovic, University
of Montenegro, Yugoslavia,
Michael Zakharyaschev,
Keldysh Insitute for Applied Mathematics, Moscow, Russia

"On the complexity of description logics with modal operators"

Stela Nikolova, Faculty of
Mathematics and Computer Science, Sofia University, Bulgaria
"Definability via partial enumerations with $\Pi^0_n$ domains"

Antonio Di Nola, Dept. of Mathematics
and Informatics, University of Salerno, Italy, Costas
Drossos, Dept. of Mathematics, Univesrity of Patras, Greece
"Hyperfinite MVAlgebras"

K. Sagonas, Computing Science Department,
Uppsala University, Sweden
"Computing a larger class of stratified negation without an oracle"

Alexandra Soskova, Faculty
of Mathematics and Computer Science, Sofia University, Bulgaria
"Abstract Data Types Computability and Effectiveness"

A. Sotiriadou, P.
Kefalas, Dept. of Computer Science, CITY Liberal Studies , Thessaloniki,
Greece
"Logic and sets in the computer science curriculum"

Vladimir Sotirov, Bulgarian
Academy of Sciences, Bulgaria
"Various Syllogistics from the Algebraic Point of View"

Athanassios Tzouvaras,
Dept. of Mathematics, University of Thessaloniki, Greece
"Expanding discretely ordered groups to rings"

Yiannis Vandoulakis, Ionian University,
Kerkira, Greece
"On the Logic underlying Euclid's Number Theory"

Karim Zahidi, Dept. of Applied
Mathematics and Informatics, University of Ghent, Belgium

"The existential theory of real hyperelliptic function fields"

V. Zakharov, Faculty of Computational
Mathematics and Cybernetics, Moscow State university, Moscow, Russia
"On the refinement of logic programs by means of antiunification"
Back
to Main Page