Results 11 to 20 of about 11,089 (266)
Predicate Abstraction with Minimum Predicates [PDF]
, 2003 Predicate abstraction is a popular abstraction technique employed in formal software verification. A crucial requirement to make predicate abstraction effective is to use as few predicates as possible, since the abstraction process is in the worst case exponential (in both time and memory requirements) in the number of predicates involved.
Chaki, Sagar +3 more
openaire +1 more source
Research into Livonian syntax: the results of previous studies and the tasks ahead
Eesti ja Soome-ugri Keeleteaduse Ajakiri, 2016 The objective of this article is to present the main findings of research into Livonian syntax. As is typical of the Finnic languages other than Estonian and Finnish, in the past, syntax-related issues have received little attention.
Miina Norvik
doaj +1 more source
Syntax Determinants ad sensum and ad formam in Sentences with a Serial Subject
Respectus Philologicus, 2022 The syntax of the serial subject in contemporary Polish poses many problems, especially in the normative context. Many publications emphasize that a verb predicate should be agreed upon based on real-meaning syntax – regardless of the features of the ...
Piotr Zbróg
doaj +1 more source
Plato on Perception According to Parmenides’ System [PDF]
حکمت و فلسفه, 2008 For a long time, Plato's thought has been affected by the interpretations of Aristotelianism or Neo-Platonism. However, some remarks which have been recently made regard the core of Plato's own thought in his dialogues. This becomes critical when we find
ebrahim musavi
doaj +1 more source
The Endless Story of “Compound Verbs”: An Introduction to Conceptology and Terminology of Complex Verbs in Persian [PDF]
نشریه پژوهشهای زبانشناسی, 2021 Much of the literature about Persian ‘compound verbs’ has been concerned with their ‘true’ instances. About four centuries after identification of this construction, however, there is yet little agreement on any single definition or conception of it ...
Mojtaba Monshizadeh +2 more
doaj +1 more source
Formanty kategorialne – ich miejsce w (semantycznej i formalnej) strukturze języka
Slavia Meridionalis, 2018 Category formants – their place in (semantic and formal) language structure The author argues that the so-called category some of the grammaticalized segments of the corresponding semantic fields that are especially important for successful linguistic
Zuzanna Topolińska
doaj +1 more source
DAIMI Report Series, 1992 We review the concept of logical relations and how they interact with structural induction, furthermore we give examples of their use, and of particular interest is the combination with the PER-idea (partial equivalence relations). This is then generalized to Kripke logical relations; the major application is to show that in combination with the PER ...
Flemming Nielson, Hanne Riis Nielson
openaire +2 more sources
الحذف في المتلازمات النحوية من منظور الدراسات الأسلوبية "المجموعة القصصية (Beyaz Türkü) الأنشودة البيضاء لـ بكير يلدز أنموذجا" [PDF]
Maǧallaẗ Kulliyyaẗ Al-ādāb Ǧāmiʿaẗ Būrsaʿīdيعد الحذف ظاهرة لغويّة لها فوائد دلاليّة، وأغراض بلاغيّة كثيرة، يتناول هذا البحث ظاهرة الحذف في المتلازمات النحوية بوصفها إحدى الوسائل الأسلوبية البارزة التي تسهم في تكثيف المعنى وتحقيق الإيجاز، وذلك من خلال تطبيقها على المجموعة القصصية (Beyaz Türkü ...
سعد على عبده أحمد
doaj +1 more source
Rola negacji w opisie świata według arystotelesowskiej Metafizyki [PDF]
Argument, 2012 The notions of „being” and „non-being” have entered philosophical language, forming thebasis of ontology and meontology, as the counterparts of the Greek expressions to o]n and tomh o]n (nominalised forms, affirmative and negative, of the participle of ...
Jan BIGAJ
doaj
Structuralsemantic varieties of macro-propositions of the frame «armed collision»
Гуманитарные и юридические исследования, 2022 The article presents the results of the study of macropropositions representing the frame ARMED COLLISION in the news and analytical Internet discourse. The frame ARMED COLLISION is considered as a stable mental model of an event during which two or more
N. I. Kizilova, R. V. Chvalun
doaj +1 more source