DE eng

Search in the Catalogues and Directories

Hits 1 – 15 of 15

1
Semantics with assignment variables
Silk, Alex. - Cambridge, United Kingdom : Cambridge University Press, 2021
BLLDB
UB Frankfurt Linguistik
Show details
2
Properties and propositions : the metaphysics of higher-order logic
Trueman, Robert. - Cambridge, United Kingdom : Cambridge University Press, 2021
BLLDB
UB Frankfurt Linguistik
Show details
3
Conceptual alternatives: Competition in language and beyond
In: Linguistics & Philosophy ; https://hal.archives-ouvertes.fr/hal-03102612 ; Linguistics & Philosophy, In press (2021)
BASE
Show details
4
Covariant Subtyping Applied to Semantic Predicate Calculi
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03542057 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
BASE
Show details
5
On the habitual verb "pflegen" in German: its use, origin, and development
In: Linguistics. - Berlin [u.a.] : Mouton de Gruyter 59 (2021) 6, 1473-1530
BLLDB
Show details
6
Dialogue Modeling in a Dynamic Framework ; Modélisation dynamique des dialogues
Boritchev, Maria. - : HAL CCSD, 2021
In: https://hal.archives-ouvertes.fr/tel-03541628 ; Computation and Language [cs.CL]. Université de Lorraine; École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine, 2021. English. ⟨NNT : 2021LORR0199⟩ (2021)
BASE
Show details
7
MIC ...
Kurthy, Miklos. - : Open Science Framework, 2021
BASE
Show details
8
Approximation derived from a scalar exclusive particle associating with covert focus: The case of Hebrew be-sax ha-kol
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 5 ; 2397-1835 (2021)
BASE
Show details
9
Ideal Words: A Vector-Based Formalisation of Semantic Competence ...
Herbelot, A; Copestake, Ann. - : Apollo - University of Cambridge Repository, 2021
BASE
Show details
10
現代中国語の限定語の意味指示と論理分析 ; A Logical Analysis of the Semantic Orientation of Attributives in Mandarin Chinese
劉 燕嵐; リュウ エンラン. - : 神奈川大学人文学会, 2021. : The Society of Humanities at Kanagawa University, 2021
BASE
Show details
11
Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21)
Abstract: We present a translation of CCS into CSP which is correct with respect to strong bisimulation. To our knowledge this is the first such translation to enjoy a correctness property. This contributes to the unification of the CCS and CSP families of concurrent calculi, in the spirit of Hoare and He’s unification programme through Unifying Theories of Programming. To facilitate this translation, we define CCSTau, the extension of CCS with visible synchronisation actions and the hiding operator. This separation of concerns between synchronisation and hiding turns out be sufficient to obtain our correct translation. Our translation, implemented in a Haskell prototype, makes it possible to use CSP-based verifiers such as FDR to reason about trace and failure (hence may- and must-testing) preorders for CCS processes.
Keyword: Calculus of Communicating Systems (CCS); Communicating Sequential Processes (CSP); Concurrency theory; Correct translation; Formal Methods; Formal Semantics
URL: http://hdl.handle.net/2262/97946
http://people.tcd.ie/ekembeng
http://people.tcd.ie/butrfeld
https://doi.org/10.1007/978-3-030-92124-8_14
http://people.tcd.ie/vkoutav
BASE
Hide details
12
Ideal Words: A Vector-Based Formalisation of Semantic Competence
Herbelot, A; Copestake, Ann. - : Springer Science and Business Media LLC, 2021. : KI - Kunstliche Intelligenz, 2021
BASE
Show details
13
Yehoshua Bar-Hillel
In: APhEx24,2021Bar-Hillel (2021)
BASE
Show details
14
Parameterized monads in linguistics
Viet, Ha Bui. - : University of Wolverhampton, 2021
BASE
Show details
15
Compositional Analysis of Turkish Agent Nominalizers
In: Proceedings of the Workshop on Turkic and Languages in Contact with Turkic; Vol 5 (2020); 16-25 ; 2641-3485 (2021)
BASE
Show details

Catalogues
2
0
0
0
0
0
0
Bibliographies
3
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
12
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern