Author:
Bruse Florian,Kreiker Jörg,Lange Martin,Sälzer Marco
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference38 articles.
1. The Formal Semantics of Programming Languages: An Introduction;Winskel,1993
2. Foundations of Databases;Abiteboul,1995
3. Theory of Formal Languages with Applications;Simovici,1999
4. Descriptive Complexity;Immerman,1999
5. Temporal Logics in Computer Science;Demri,2016