Dependence and Independence
Grädel, Erich; Väänänen, Jouko
Aachen : RWTH Aachen University (2010)
Preprint
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-008097