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
"Non-Monotonic Inference on Belief Sequences"
-
Ch. Cornaros, C.
Dimitrakopoulos, University of Athens, Greece
"On end-extensions 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 theory-based 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
"Cook-Reductions 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 Stone-Cech 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 real-time 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 MV-Algebras"
-
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 anti-unification"
Back
to Main Page