BibTeX
@inproceedings{DBLP:conf/lcc/RosenW94,
author = {Eric Rosen and
Scott Weinstein},
title = {Preservation Theorems in Finite Model Theory},
booktitle = {LCC},
year = {1994},
pages = {480-502},
crossref = {DBLP:conf/lcc/1994},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lcc/1994,
editor = {Daniel Leivant},
title = {Logical and Computational Complexity. Selected Papers. Logic
and Computational Complexity, International Workshop LCC
'94, Indianapolis, Indiana, USA, 13-16 October 1994},
booktitle = {LCC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {960},
year = {1995},
isbn = {3-540-60178-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-01-13 by Michael Ley (ley@uni-trier.de)