Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science. von Libkin, Leonid

"Elements of Finite Model Theory" von Leonid Libkin ist ein grundlegendes Werk, das sich mit der Modelltheorie im Kontext endlicher Strukturen auseinandersetzt. Das Buch bietet eine umfassende Einführung in die Prinzipien und Methoden...