| CARVIEW |
Select Language
HTTP/2 200
last-modified: Wed, 30 Mar 2016 19:48:58 GMT
etag: "8ce-52f496fd5c4d7-gzip"
accept-ranges: bytes
vary: Accept-Encoding
content-encoding: gzip
content-length: 1009
content-type: text/html; charset=utf-8
date: Tue, 07 Oct 2025 23:07:14 GMT
server: Apache/2.4.41 (Ubuntu)
Homepage of Christian Urban
|
Links Home Publications Teaching Recent Talks My Research Group Handy Information People in Logic Programming Languages Miscellaneous 
|
|
Last modified: Sun Oct 23 02:34:17 BST 2011 [Validate this page.]