Search Results

The Semantics of Exāmen

• Authors : Schuman, Boaz Faraday

Subjects: Latin semantics; Indo-European semantics; bees

• Source: Schuman , B F 2023 , ' The Semantics of Exāmen ' , Eranos: acta philologica Suecana , vol. 113 , pp. 125-30 . https://doi.org/10.33063/er.v113i.209

Record details

Indeksikalitet på tværs af grænserne mellem syntaks, semantik og pragmatik:Det danske frie indirekte objekt og dets konstruktionsindhold ; Indexicality across the boundaries of syntax, semantics and pragmatics:The constructional content of the Danish free indirect object

• Authors : Nielsen, Peter Juul; Heltoft, Lars;

Subjects: /dk/atira/pure/core/keywords/FacultyOfHumanities; Faculty of Humanities; Construction

• Source: Nielsen , P J & Heltoft , L 2023 , Indexicality across the boundaries of syntax, semantics and pragmatics : The constructional content of the Danish free indirect object

Record details

A stable non-interleaving early operational semantics for the pi-calculus

• Authors : Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon

Subjects: Asynchronous transition systems; Causality; Early semantics

• Source: Hildebrandt , T T , Johansen , C & Normann , H 2019 , ' A stable non-interleaving early operational semantics for the pi-calculus ' , Journal of Logical and Algebraic

Record details

Formal semantics and functional semantics

• Authors : Harder, Peter; Widell, Peter;

• Source: Harder , P & Widell , P 2019 , Formal semantics and functional semantics . in K R Christensen , H Jørgensen & J Wood (eds) , The Sign of

Record details

Event-based data-centric semantics for consistent data management in microservices

• Authors : Zuckmantel, Tilman; Duedder, Boris; Zhou, Yongluan

• Source: Zuckmantel , T , Duedder , B , Zhou , Y & Hildebrandt , T T 2022 , Event-based data-centric semantics for consistent data management in microservices . in DEBS '22:

Record details

A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

• Authors : Saioc, Georgian Vlad; Hüttel, Hans

• Source: Saioc , G V & Hüttel , H 2022 , ' A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages ' , Electronic Proceedings in Theoretical

Record details

Grammatical Gender's Influence on Distributional Semantics: A Causal Perspective

• Authors : Stanczak, Karolina Ewa; Du, Kevin; Williams, Adina

• Source: Stanczak , K E , Du , K , Williams , A , Augenstein , I & Cotterell , R 2023 ' Grammatical Gender's Influence on Distributional Semantics: A Causal Perspective '

Record details

The Ground of Legitimacy:An Investigation of the Public Sphere as Political Semantics

• Authors : Wiewiura, Joachim Schmidt

• Source: Wiewiura , J S 2020 , The Ground of Legitimacy : An Investigation of the Public Sphere as Political Semantics . Det Humanistiske Fakultet, Københavns Universitet .

Record details

Predicate Transformer Semantics for Hybrid Systems:Verification Components for Isabelle/HOL

• Authors : Huerta y Munive, Jonathan Julián; Struth, Georg

Subjects: Hybrid program verification; Hybrid systems; Interactive theorem proving

• Source: Huerta y Munive , J J & Struth , G 2022 , ' Predicate Transformer Semantics for Hybrid Systems : Verification Components for Isabelle/HOL ' , Journal of Automated

Record details

The semantics-pragmatics interplay in a partonomic construction:Construals, lexical relations, pragmatic points and ‘the construction itself’

• Authors : Jensen, Kim Ebensgaard

Subjects: cognitive linguistics; conceptual semantics; cognitive semantics

• Source: Jensen , K E 2014 , ' The semantics-pragmatics interplay in a partonomic construction : Construals, lexical relations, pragmatic points and ‘the construction itself’

Record details