Developments in Theoretical Computer Science (Topics in Computer Mathematics,)

The International Meeting of Young Computer Scientists is held biannually and organized by the Comenius University (Bratislava) and the Slovak Academy of Sciences. The series of conferences started as a meeting of computer scientists from Czechoslovakia, Hungary and the Soviet Union and was later internationalized. Traditionally the main topics of the conference are formal languages, complexity theory, theoretical aspects of artificial intelligence and the mathematical foundation of logic programming. This volume presents papers given at the 7th International Meeting of Young Computer Scientists, held in November 1992 in Smolence, Czechoslovakia. The meeting combined 8 invited lectures by outstanding scientists and 20 communications selected by an international program committee. It focuses on theoretical computer science and theoretical aspects of artificial intelligence.