عنوان
پدید آورنده
موضوع
رده
QA76.9.M35
QA76
.
9
.
M35
کتابخانه
محل استقرار
شابک
شابک
3030003892
شابک
3030003906
شابک
9783030003890
شابک
9783030003906
شابک اشتباه
3030003884
شابک اشتباه
9783030003883
عنوان و نام پديدآور
عنوان اصلي
Coalgebraic methods in computer science :
نام عام مواد
[Book]
ساير اطلاعات عنواني
14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised selected papers /
نام نخستين پديدآور
Corina Cîrstea (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (ix, 235 pages) :
ساير جزييات
illustrations.
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
11202
يادداشت کلی
متن يادداشت
Includes author index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Relating Structure and Power: Comonadic Semantics for Computational Resources -- Coalgebraic Logics and Duality -- Intuitionistic Podelski-Rybalchenko Theorem and Equivalence between Inductive Definitions and Cyclic Proofs -- Undecidability of Equality for Codata Types -- Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages -- Long-Term Values in Markov Decision Processes, (Co)Algebraically -- (In)finite Trace Equivalence of Probabilistic Transition Systems -- Steps and Traces -- On Algebras with Effectful Iteration -- Monoidal computer III: A coalgebraic view of computability and complexity -- Fibrational Bisimulations and Quantitative Reasoning -- Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018. The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030003890
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783030003883
شماره استاندارد بين المللي کتاب و موسيقي
9783030003906
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
CMCS 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science-- Mathematics, Congresses.
موضوع مستند نشده
Computer software-- Mathematics, Congresses.
موضوع مستند نشده
Artificial Intelligence.
موضوع مستند نشده
Logics and Meanings of Programs.
موضوع مستند نشده
Mathematical Logic and Formal Languages.
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Computer programming-- software development.
موضوع مستند نشده
Computer science-- Mathematics.
موضوع مستند نشده
Computers-- Intelligence (AI) & Semantics.
موضوع مستند نشده
Computers-- Programming-- General.
موضوع مستند نشده
Mathematical theory of computation.
موضوع مستند نشده
Mathematics-- Logic.
مقوله موضوعی
موضوع مستند نشده
MAT018000
موضوع مستند نشده
UYA
موضوع مستند نشده
UYA
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
M35
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Cîrstea, Corina
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
Workshop on Coalgebraic Methods in Computer Science(14th :2018 :, Thessalonikē , Greece)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
ETAPS (Conference)(20th :2018 :, Thessalonikē, Greece)
مبدا اصلی
تاريخ عمليات
20200823071725.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
