@inproceedings{CSL-2001-Schweikardt,
author = "Nicole Schweikardt",
booktitle = "{Proceedings of the 10th EACSL Annual Conference / 15th International Workshop on Computer Science Logic}",
doi = "10.1007/3-540-44802-0_10",
isbn = "3-540-42554-3",
pages = "130--144",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{The Natural Order-Generic Collapse for ω-Representable Databases over the Rational and the Real Ordered Group}",
volume = 2142,
year = 2001,
}
Tags: