Logics of Finite Hankel Rank (bibtex)
by Nadia Labai, Johann A. Makowsky
Reference:
Logics of Finite Hankel RankNadia Labai, Johann A. MakowskyChapter in Fields of Logic and Computation II (Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte, eds.), volume 9300 of Lecture Notes in Computer Science, pages 237-252, 2015, Springer International Publishing.
Bibtex Entry:
@incollection{ar:LabaiMakowky15,
year={2015},
isbn={978-3-319-23533-2},
booktitle={Fields of Logic and Computation II},
volume={9300},
series={Lecture Notes in Computer Science},
editor={Beklemishev, Lev D. and Blass, Andreas and Dershowitz, Nachum and Finkbeiner, Bernd and Schulte, Wolfram},
doi={10.1007/978-3-319-23534-9_14},
title={Logics of Finite Hankel Rank},
url={http://dx.doi.org/10.1007/978-3-319-23534-9_14},
publisher={Springer International Publishing},
author={Labai, Nadia and Makowsky, Johann A.},
pages={237-252},
language={English}
}
Powered by bibtexbrowser