Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Mathematical Foundations of Computer Science

Library Home || Full Table of Contents || Library Help

Visit this site: http://www-mgi.informatik.rwth-aachen.de/

Author:Erich Grädel; Aachen University of Technology, Germany
Description: A research group at Aachen: Mathematische Grundlagen der Informatik: Research, Finite Model Theory, Publications, Teaching, People, Books.

Levels: Research
Languages: English
Resource Types: Research Centers
Math Topics: Logic/Foundations, Computer Science

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.