Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Least fixed points in applicative theories
2003
ks
-
Journal
Reinhard Kahle, Thomas Studer
Bulletin of Symbolic Logic
-
-
9
1
94
-
-
Abstract for the Logic Colloquium 2002
-
Export formats
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.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542_amp_cscd=ba5598ce9633a16d4b7843ce1ce94ea9" 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.
@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
http://centria.di.fct.unl.pt/publications/view.php?code=e836ef4e538702ab1f2c7f25471cd034
http://centria.di.fct.unl.pt/publications/view.php?code=ks
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento