Search Results - "semantics"
Suggested Topics within your search.
Suggested Topics within your search.
- linguistics 281
- Semantics, discourse analysis, etc 166
- Grammar, syntax & morphology 84
- Semantics & pragmatics 81
- Artificial intelligence 67
- Computer science 55
- Language 51
- Historical & comparative linguistics 48
- Language: reference & general 47
- History of engineering & technology 46
- Communication studies 43
- Language teaching & learning (other than ELT) 38
- Technology: general issues 38
- Sociolinguistics 34
- Literature & literary studies 33
- Literature: history & criticism 32
- Software Engineering 31
- Research & information: general 30
- Philosophy of language 29
- Computational linguistics 27
- Computer networking & communications 27
- Artificial Intelligence 26
- Press & journalism 26
- Data mining 23
- Philosophy 23
- Translation & interpretation 23
- Machine learning 22
- Psychology 22
- Application software 19
- Computer and Information Systems Applications 19
-
1121
-
1122
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 Sof...
Published 2018Table of Contents: “…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.…”
Link to Metadata
Electronic eBook -
1123
-
1124
La prosa dell'ermetismo: caratteri e esemplari
Published 2016DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1125
Current Issues in Linguistic Theory
Published 1977DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1126
-
1127
-
1128
Tipy informacij dlja poverchnostno-semantičeskogo komponenta modeli smysl-tekst
Published 1980OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1129
La prosa dell'ermetismo: caratteri e esemplari
Published 2016OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1130
Approaches to Hungarian: Vol. 16 Papers from the 2017 Budapest Conference
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1131
Quantification and scales in change
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1132
-
1133
-
1134
-
1135
-
1136
-
1137
-
1138
-
1139
Quantification and scales in change
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1140
Chapter 19 Quantification Theoretical perspectives
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter