Publication details

Publication details Main information Title: Least fixed points in applicative theories Publication date: 2003 Citation: ks Abstract: - Journal Authors: Reinhard Kahle, Thomas Studer Journal: Bulletin of Symbolic Logic Publisher: - Address: - Volume: 9 Number: 1 Pages: 94 ISBN: - ISSN: - Note: Abstract for the Logic Colloquium 2002 Url address: - Export formats Plain text: Reinhard Kahle and Thomas Studer, Least fixed points in applicative theories, Bulletin of Symbolic Logic, Vol. 9, No. 1, Pag. 94, <i>Abstract for the Logic Colloquium 2002</i>, 2003. HTML: <b><a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="author">Reinhard Kahle</a> and Thomas Studer</b>, <u>Least fixed points in applicative theories</u>, Bulletin of Symbolic Logic, Vol. 9, No. 1, Pag. 94, <i>Abstract for the Logic Colloquium 2002</i>, 2003. BibTeX: @article {ks, author = {Reinhard Kahle and Thomas Studer}, title = {Least fixed points in applicative theories}, journal = {Bulletin of Symbolic Logic}, volume = {9}, number = {1}, pages = {94}, note = {Abstract for the Logic Colloquium 2002}, year = {2003}, } Publication's urls Full url: /publications/view.php?code=e836ef4e538702ab1f2c7f25471cd034 Friendly url: /publications/view.php?code=ks