Results 21 to 30 of about 852,128 (332)
Dynamic Complexity of Formal Languages [PDF]
, 2008 The paper investigates the power of the dynamic complexity classes DynFO, DynQF and DynPROP over string languages. The latter two classes contain problems that can be maintained using quantifier-free first-order updates, with and without auxiliary ...
Gelade, Wouter +2 more
core +6 more sources
, 2015 Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly.
Arbab, Farhad +3 more
core +5 more sources
European Union Terminology Unification - Directions for the Contrastive Study of Two Slavic and Two Non-Slavic Languages (Bulgarian, Polish, Modern Greek and English) [PDF]
, 2011 This study attempts to characterize terminology unification in the European Union legislation, regarding both content and form. It analyzes terms related to the thematic field of environmental law in four official EU languages: two Slavic (Bulgarian and ...
Genew-Puhalewa, Iliana
core +2 more sources
Relations linguistiques et mathématiques chez Leibniz
Methodos, 2014 Leibniz's theory of universal expression focuses on the notion of relationship and introduces a link between the words of a natural language and the mind which is not only that of representation. It also establishes similarities between natural languages
Marc Parmentier
doaj +1 more source
Language ideologies, policies and practices within the multilingual Kenyan context
Journal of Linguistics, Literary and Communication Studies, 2023 Kenya is linguistically diverse with approximately 66 native and 8 non-native languages; out of which 33 are developing, 15 are vigorous, 2 are in trouble and 4 dying.
David Barasa
doaj +1 more source
Syntax without Abstract Objects [PDF]
, 2011 In line with the nominalistic denial of the existence of abstract objects, a basic theory of syntax for formal languages is developed and shown to satisfy certain fundamental ...
Kozian, Ralf
core +1 more source
Declarative Specification [PDF]
, 1996 Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods.
David Robertson +11 more
core +2 more sources
Linguistics, indigenous languages, and analysis from a formal perspective
Revista Linguística, 2022 By taking into account both the study of indigenous languages and the discipline of linguistics at large, this issue of Revista Linguística presents to the reader a series of dialogues internal to the field itself, as well as those that take place at the
Marília Facó Soares, Claudia Uller
doaj +3 more sources
IEEE Access, 2022 Alvis is a formal modelling language developed primarily for modelling concurrent systems including real-time systems. The prepared model is compiled, and the resulting runnable model allows, e.g., to generate the state space and to verify the model ...
Marcin Szpyrka +2 more
doaj +1 more source
Flexible RNA design under structure and sequence constraints using formal languages [PDF]
, 2013 The problem of RNA secondary structure design (also called inverse folding) is the following: given a target secondary structure, one aims to create a sequence that folds into, or is compatible with, a given structure.
Denise, Alain +5 more
core +5 more sources