1. Collections
  2. Conference Proceedings

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

Conference Proceedings uoadl:1001829 3089 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
Persistent URL:
https://pergamos.lib.uoa.gr/uoa/dl/object/1001829
First
8 - 27 of 53
Last

Contents 53

Φίλτρο

 

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

21. To preference via entrenchment

Conference Paper uoadl:1046803
Unit:
School of Science
Library of the School of Science
Creator:
Georgatos, Konstantinos
Main subject category:
Logic

22. Unknown but not undefined?

Conference Paper uoadl:1046813
Unit:
School of Science
Library of the School of Science
Creator:
Heule, Dirk van
Hoogewijs, Albert
Main subject category:
Logic

23. On the role of interpolation in stepwise refinement

Conference Paper uoadl:1046836
Unit:
School of Science
Library of the School of Science
Creator:
Dimitrakos, Theo
Maibaum, Thomas S. E.
Main subject category:
Logic

24. Complexity of products of modal logics

Conference Paper uoadl:1046841
Unit:
School of Science
Library of the School of Science
Creator:
Maarten, Marx
Main subject category:
Logic

25. Trends in reasoning about action

Conference Paper uoadl:1046847
Unit:
School of Science
Library of the School of Science
Creator:
Peppas, Pavlos
Main subject category:
Logic

26. Linear programming based induction (LPI): a constraint logic programming elaboration

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

27. Logic as a vehile for real life applications

Conference Paper uoadl:1046868
Unit:
School of Science
Library of the School of Science
Creator:
Σταματόπουλος, Παναγιώτης
Karali, Isambo
Main subject category:
Logic

 

First
8 - 27 of 53
Last
UoA NSRF