This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90. The aim of these meetings is threefold: (1) to inform on newest trends, results, and problems in theoretical computer science and related fields through a tutorial and invited lectures delivered by internationally distinguished speakers, (2) to provide a possibility for beginners in scientific work to present and discuss their results, and (3) to create an adequate opportunity for...
This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixt...
Logik ist eine wichtige Grundlage der Informatik. Sie ist fur die Formalisierung der Softwaretechnik, fur Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie fur die logische Programmierung und die Kunstliche Intelligenz. Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren fur Studierende der Informatik und informatiknaher Studiengange halt. Es gibt eine Einfuhrung in die Logik aus der Sicht der Informatik."
Logik ist eine wichtige Grundlage der Informatik. Sie ist fur die Formalisierung der Softwaretechnik, fur Verifikation und Spezifikation von Programme...
The proceedings in this text cover all parts of the theory of formal languages, from pure theoretical investigations to applications to programming languages. Main topics include combinatorial properties of words, and sequences of words and sets of words.
The proceedings in this text cover all parts of the theory of formal languages, from pure theoretical investigations to applications to programming la...