Theoretical computer science and natural language processing group

Recent Publications and Conference Proceedings


Journals/Books

M. Furer O. Goldreich, Y. Mansour, M. Sipser and S. Zachos, On Completeness and Soundness in Interactive Proof Systems" , Chapter in Book, Advances in Computing Research, Vol.5, Randomness and Computation Conference, 1990.

Y. Maistros, "Computers in Education-lmpacts and Alternatives", Technical University and Development-NTUA Conference, Athens 1990.

M . Melekopoglou, "On the Complexity of the Policy Iteration Algorithm (for the SSG Problem)", Technical Report No.941, University of Wisconsin at Madison, 1990.

S. Zachos, "Probabilistic Quantifiers, Games and Complexity Classes" Applications of Logic to Computer Science, Crete, June 1990.

Y. Kotsanis, Y. Maistros, "Describing Morphological Phenomena of Modern Greek Using a Unification Grammar Formalism", Information Systems, Vol.16, No.6, Pergamon Press, 1991.

Yu Lin, "Parallel Computational Methods in Integer Linear Programming", Ph . D . dissertation , CUNY 199 1 (under Zachos) .

M. Melekopoglou and A. Condon, "On the Complexity of the Policy Improvement Algorithm for Markov Decision Processes", ORSA Journal on Computing, 1992.

Y. Maistros, Transcription and Transliteration of the Greek Script into Latin, ELOT TE48/TE74, Athens, 1992.

Y. Maistros, "Modern Greek Language Fundamentals", ELOT TE74, Athens , 1993 .


Back to NLGrp Page