語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Foundations of Software Science and ...
~
Baier, Christel.
Foundations of Software Science and Computation Structures = 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 /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Foundations of Software Science and Computation Structures/ edited by Christel Baier, Ugo Dal Lago.
其他題名:
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 /
其他作者:
Baier, Christel.
面頁冊數:
XV, 583 p. 75 illus.online resource. :
Contained By:
Springer Nature eBook
標題:
Computer logic. -
電子資源:
https://doi.org/10.1007/978-3-319-89366-2
ISBN:
9783319893662
Foundations of Software Science and Computation Structures = 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 /
Foundations of Software Science and Computation Structures
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 /[electronic resource] :edited by Christel Baier, Ugo Dal Lago. - 1st ed. 2018. - XV, 583 p. 75 illus.online resource. - Theoretical Computer Science and General Issues ;10803. - Theoretical Computer Science and General Issues ;9163.
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.
Open Access
This book is Open Access under a CC BY licence.
ISBN: 9783319893662
Standard No.: 10.1007/978-3-319-89366-2doiSubjects--Topical Terms:
786340
Computer logic.
LC Class. No.: QA76.9.L63
Dewey Class. No.: 005.1015113
Foundations of Software Science and Computation Structures = 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 /
LDR
:03672nam a22004575i 4500
001
991473
003
DE-He213
005
20200703072340.0
007
cr nn 008mamaa
008
201225s2018 gw | s |||| 0|eng d
020
$a
9783319893662
$9
978-3-319-89366-2
024
7
$a
10.1007/978-3-319-89366-2
$2
doi
035
$a
978-3-319-89366-2
050
4
$a
QA76.9.L63
050
4
$a
QA76.5913
072
7
$a
UM
$2
bicssc
072
7
$a
COM051000
$2
bisacsh
072
7
$a
UM
$2
thema
072
7
$a
UYF
$2
thema
082
0 4
$a
005.1015113
$2
23
245
1 0
$a
Foundations of Software Science and Computation Structures
$h
[electronic resource] :
$b
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 /
$c
edited by Christel Baier, Ugo Dal Lago.
250
$a
1st ed. 2018.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2018.
300
$a
XV, 583 p. 75 illus.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
490
1
$a
Theoretical Computer Science and General Issues ;
$v
10803
505
0
$a
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.
506
0
$a
Open Access
520
$a
This book is Open Access under a CC BY licence.
650
0
$a
Computer logic.
$3
786340
650
0
$a
Software engineering.
$3
562952
650
0
$a
Artificial intelligence.
$3
559380
650
0
$a
Computer system failures.
$3
782237
650
0
$a
Computers.
$3
565115
650
0
$a
Computer science—Mathematics.
$3
1253519
650
1 4
$a
Logics and Meanings of Programs.
$3
670058
650
2 4
$a
Software Engineering/Programming and Operating Systems.
$3
669780
650
2 4
$a
Artificial Intelligence.
$3
646849
650
2 4
$a
System Performance and Evaluation.
$3
669346
650
2 4
$a
The Computing Profession.
$3
669954
650
2 4
$a
Discrete Mathematics in Computer Science.
$3
670123
700
1
$a
Baier, Christel.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
574260
700
1
$a
Dal Lago, Ugo.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1113535
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783319893655
776
0 8
$i
Printed edition:
$z
9783319893679
830
0
$a
Theoretical Computer Science and General Issues ;
$v
9163
$3
1253524
856
4 0
$u
https://doi.org/10.1007/978-3-319-89366-2
912
$a
ZDB-2-SCS
912
$a
ZDB-2-SXCS
912
$a
ZDB-2-LNC
912
$a
ZDB-2-SOB
950
$a
Computer Science (SpringerNature-11645)
950
$a
Computer Science (R0) (SpringerNature-43710)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入