Bounded variable logics and counting -

Otto, Martin

Aachen (1995)
Habil / Postdoctoral Thesis (Non-german Habil)

Aachen, Techn. Hochsch., Habil.-Schr., 1995

Institutions

• Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
• Department of Mathematics [110000]