Coinductive Proofs for Basic Real Computation

التفاصيل البيبلوغرافية
العنوان:	Coinductive Proofs for Basic Real Computation
المؤلفون:	Hou, Tie^Aff20
المساهمون:	Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Dough, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Beckmann, Arnold, editor^Aff16, Berger, Ulrich, editor^Aff17, Löwe, Benedikt, editor^Aff18, Tucker, John V., editor^Aff19
المصدر:	Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings. 3988:221-230
قاعدة البيانات:	Springer Nature eBooks

الوصف
ردمك:	9783540354666 9783540354680
DOI:	10.1007/11780342_24