Výsledky vyhledávání - "Formal semantics"

Akademický článek

A constructionist analysis of gapping against the background of generative analyses

Autor: Reiner Tabea

Publikováno v: Zeitschrift für Sprachwissenschaft, Vol 43, Iss 1, Pp 93-114 (2024)

The present contribution starts from Goldberg and Perek’s (2019) analysis of gapping within a constructionist framework. The authors promote their analysis as surpassing non-constructionist takes on gapping and ellipsis more generally. In particula

Externí odkaz: https://doaj.org/article/88be42a4b0ae470995c3b5a1487a67e8

Zobrazit plný text záznamu

Akademický článek

Formalization of BPMN Gateways using the DD-LOTOS Formal Language

Autor: Toufik Messaoud Maarouk, Mohammed El Habib Souidi, Makhlouf Ledmi, Samra Sabeg

Publikováno v: Journal of Communications Software and Systems, Vol 19, Iss 4, Pp 254-263 (2023)

Business Process Model and Notation (BPMN), is a standardized graphical language used for the graphical modeling of business processes. A BPMN model is composed of several small graphs called elements; these elements make it possible to describe the

Externí odkaz: https://doaj.org/article/9f86946ec2c04de387761de4a6a82ee1

Zobrazit plný text záznamu

Akademický článek

Program Equivalence in the Erlang Actor Model

Autor: Péter Bereczky, Dániel Horpácsi, Simon Thompson

Publikováno v: Computers, Vol 13, Iss 11, p 276 (2024)

This paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have differ

Externí odkaz: https://doaj.org/article/1ca8e2d9f45b442da46f151e5320b692

Zobrazit plný text záznamu

Elektronická kniha

Meaning and Speech Acts

Autor: Rumfitt, Ian, author

Publikováno v: P. F. Strawson and his Philosophical Legacy, 2023.

Externí odkaz: https://doi.org/10.1093/oso/9780192858474.003.0003

Zobrazit plný text záznamu

Kniha

O výjimkových frázích v češtině / Veronika Kloudová.

Autor: Kloudová, Veronika

Externí odkaz: Plný text

Akademický článek

Type shifting and the number system in Persian

Autor: Amirmohammad Shirzad, Ali Darzi

Publikováno v: نشریه پژوهش‌های زبان‌شناسی, Vol 15, Iss 1, Pp 137-158 (2023)

Abstract:The present article examines the structure of number phrase in Persian. It is also aimed at explaining the apparent lack of agreement between numerals and nouns in this language. In other words, it presents an answer to the question of why n

Externí odkaz: https://doaj.org/article/bddfeca7ed4f4dd38b1fe6e9394f1516

Zobrazit plný text záznamu