Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά

Conference Proceedings uoadl:1001829 2894 Read counter

Unit:
School of Science
Library of the School of Science
Original Title:
Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
Languages of Item:
Greek
Collectivity:
University of Cyprus. Department of Mathematics and Statistics
Publisher:
Πανεπιστήμιο Κύπρου
Editor:
Kakas, Antonis Κ.
Sinachopoulos, Anneta
Year of publication:
1997
Place of publication:
Λευκωσία, Κύπρος
Main subject category:
Philosophy
Other subject categories:
Logic
Mathematics
Computer science
Education
Science
Number of pages:
363
ISBN:
9963-607-11-X
Bib number:
504221
Usher Number:
168 ΠΣΛ1997 π 1997

Φίλτρο

 

1. Subsystems of Peano Arithmetic: some results and problems

Conference Paper uoadl:1046282
Unit:
School of Science
Library of the School of Science
Creator:
Dimitrakopoulos, Constantinos
Main subject category:
Logic

2. Current trends in Model Theory and Hilbert's tenth problem

Conference Paper uoadl:1046284
Unit:
School of Science
Library of the School of Science
Creator:
Feidas, Athanasios
Main subject category:
Logic

3. Laws in Finite Model Theory: an overview

Conference Paper uoadl:1046286
Unit:
School of Science
Library of the School of Science
Creator:
Kolaitis, Phokion G.
Main subject category:
Logic

4. Nonstandard methods in many-valued logics

Conference Paper uoadl:1046292
Unit:
School of Science
Library of the School of Science
Creator:
Drossos, Costas A.
Main subject category:
Logic

5. Cut elimination in the simply lambda calculus

Conference Paper uoadl:1046295
Unit:
School of Science
Library of the School of Science
Creator:
Ghilezan, Silvia
Main subject category:
Logic

6. Church-Rosser theorem for conjunctive type systems

Conference Paper uoadl:1046304
Unit:
School of Science
Library of the School of Science
Creator:
Koletsos, George
Stavrinos, George
Main subject category:
Logic

7. Formal number theory and subrecursive degree structures

Conference Paper uoadl:1046312
Unit:
School of Science
Library of the School of Science
Creator:
Kristiansen, Lars
Main subject category:
Logic

8. Reverse Recursion Theory: Some results

Conference Paper uoadl:1046318
Unit:
School of Science
Library of the School of Science
Creator:
Mytilinaios, Michael
Main subject category:
Logic

9. Idempotence of classical logics and the logic of multisets

Conference Paper uoadl:1046325
Unit:
School of Science
Library of the School of Science
Creator:
Tzouvaras, Athanassios
Main subject category:
Logic

10. Ανάστροφα μαθηματικά: επισκόπηση

Conference Paper uoadl:1046332
Unit:
School of Science
Library of the School of Science
Creator:
Χατζηκυριάκου, Κώστας
Main subject category:
Logic

11. Computable and polynomially time computable real and p-adic numbers

Conference Paper uoadl:1046339
Unit:
School of Science
Library of the School of Science
Creator:
Kapoulas, George
Main subject category:
Logic

12. Locale theoretic methods in Logics without contraction

Conference Paper uoadl:1046347
Unit:
School of Science
Library of the School of Science
Creator:
Karazeris, Panagis
Main subject category:
Logic

13. On End extensions of models of fragments of PA

Conference Paper uoadl:1046352
Unit:
School of Science
Library of the School of Science
Creator:
Cornaros, Charalambos
Main subject category:
Logic

14. A language of transformation

Conference Paper uoadl:1046666
Unit:
School of Science
Library of the School of Science
Creator:
Soufi, Loutfi
Main subject category:
Logic

15. Arity hierarchies for fixed-point logic

Conference Paper uoadl:1046670
Unit:
School of Science
Library of the School of Science
Creator:
Afrati, Foto N.
Main subject category:
Logic

16. Expressiveness of recursive database queries

Conference Paper uoadl:1046677
Unit:
School of Science
Library of the School of Science
Creator:
Cosmadakis, Stavros S.
Main subject category:
Logic

17. Program specification and verification

Conference Paper uoadl:1046686
Unit:
School of Science
Library of the School of Science
Creator:
Sifakis, Joseph
Main subject category:
Logic

18. Non-collapsing assumptions about complexity classes needed for proving non-approximability results

Conference Paper uoadl:1046698
Unit:
School of Science
Library of the School of Science
Creator:
Zachos, Stathis
Main subject category:
Logic

19. The role of nonmonotonic representations in requirements engineering

Conference Paper uoadl:1046711
Unit:
School of Science
Library of the School of Science
Creator:
Antoniou, Grigoris
Main subject category:
Logic

20. Refining logical characterization of advice complexity classes

Conference Paper uoadl:1046720
Unit:
School of Science
Library of the School of Science
Creator:
Atserias, Albert
Main subject category:
Logic