Complexity, logic, and recursion theory

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Sorbi, Andrea (HerausgeberIn)
Dokumenttyp: Konferenzschrift Edited Volume
Sprache:Englisch
Veröffentlicht: New York, NY [u.a.] Dekker 1997
Schriftenreihe:Lecture notes in pure and applied mathematics 187
In: Lecture notes in pure and applied mathematics (187)

Volumes / Articles: Show Volumes / Articles.
Schlagworte:
Online-Zugang:Verlag, Verlagsangaben: http://www.loc.gov/catdir/enhancements/fy0647/96052019-d.html
Verlag, Inhaltsverzeichnis, Inhaltsverzeichnis: http://www.gbv.de/dms/hbz/toc/ht007489988.pdf
Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:0865.00036
Volltext
Verfasserangaben:ed. by Andrea Sorbi
Beschreibung
Beschreibung:"This book is a collection of refereed papers representing the research undertaken in the network "Complexity, Logic and Recursion Theory COLORET" (Contract No. ERBCHRXCT930415) of the Human Capital and Mobility European project. The activity of the network commenced on January 1, 1994, lasting three years and including three workshops (Amsterdam, Siena, and Barcelona)"
Literaturangaben
ISBN:0824700260