theo.cs.uni-magdeburg.de
Theoretical Computer Science - Research group for theoretical computer science - Logic, Spatial reasoning, Formal methods.
Research group for theoretical computer science - Logic, Spatial reasoning, Formal methods.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-09-13 |
| Last crawled | 2026-06-02 |
| IPv4 | 141.44.24.52 |
| Network | AS680 Verein zur Foerderung eines Deutschen Forschungsnetzes e.V. · Germany |
| CNAME | theo.iks.cs.uni-magdeburg.de |
| Language | en |
| Server | Apache/2.4.39 (Unix) OpenSSL/1.0.2u |