عنوان

Foundations of software science and computation structures :

شابک

3319893653

شابک

3319893661

شابک

9783319893655

شابک

9783319893662

شابک اشتباه

9783319893655

عنوان اصلي

Foundations of software science and computation structures :

نام عام مواد

[Book]

ساير اطلاعات عنواني

21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings /

نام نخستين پديدآور

Christel Baier, Ugo Dal Lago (eds.).

محل نشرو پخش و غیره

Cham, Switzerland :

نام ناشر، پخش کننده و غيره

Springer,

تاریخ نشرو بخش و غیره

2018.

نام خاص و کميت اثر

1 online resource (xv, 583 pages) :

ساير جزييات

illustrations

عنوان فروست

Advanced research in computing and software science

عنوان فروست

Lecture notes in computer science,

عنوان فروست

LNCS sublibrary. SL 1, Theoretical computer science and general issues

مشخصه جلد

10803

شاپا ي ISSN فروست

0302-9743 ;

متن يادداشت

Includes author index.

متن يادداشت

International conference proceedings.

متن يادداشت

Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.

بدون عنوان

0

متن يادداشت

This book is Open Access under a CC BY licence.

منبع سفارش / آدرس اشتراک

Springer Nature

شماره انبار

com.springer.onix.9783319893662

شماره استاندارد بين المللي کتاب و موسيقي

9783319893655

عنوان اصلي به زبان ديگر

ETAPS 2018

عنوان اصلي به زبان ديگر

FOSSACS 2018

موضوع مستند نشده

Computer software, Congresses.

موضوع مستند نشده

Software engineering, Congresses.

موضوع مستند نشده

Artificial intelligence.

موضوع مستند نشده

Computer programming-- software development.

موضوع مستند نشده

Computer software.

موضوع مستند نشده

Computers-- Data Processing.

موضوع مستند نشده

Computers-- General.

موضوع مستند نشده

Computers-- Hardware-- Handheld Devices.

موضوع مستند نشده

Computers-- Intelligence (AI) & Semantics.

موضوع مستند نشده

Computers-- Programming-- General.

موضوع مستند نشده

Computers-- Software Development & Engineering-- General.

موضوع مستند نشده

Discrete mathematics.

موضوع مستند نشده

Information technology: general issues.

موضوع مستند نشده

Software engineering.

موضوع مستند نشده

Software Engineering.

موضوع مستند نشده

Systems analysis & design.

موضوع مستند نشده

COM036000

موضوع مستند نشده

COM051000

موضوع مستند نشده

UM

موضوع مستند نشده

UM

موضوع مستند نشده

UYF

موضوع مستند نشده

UYF

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Baier, Christel

مستند نام اشخاص تاييد نشده

Dal Lago, Ugo, (Computer scientist)

مستند نام تنالگان تاييد نشده

FOSSACS (Conference)(21st :2018 :, Thessalonikē, Greece)

مستند نام تنالگان تاييد نشده

ETAPS (Conference)(21st :2018 :, Thessalonikē , Greece)

تاريخ عمليات

20200823114308.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y