![]() |
@article{DBLP:journals/bsl/DawarG02,
author = {Anuj Dawar and
Yuri Gurevich},
title = {Fixed point logics},
journal = {Bulletin of Symbolic Logic},
volume = {8},
number = {1},
year = {2002},
pages = {65-88},
ee = {http://www.math.ucla.edu/$\sim$asl/bsl/0801/0801-003.ps},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-03-31 by Michael Ley (ley@uni-trier.de)