Works matching DE "FORMALIZATION (Linguistics)"
Results: 110
An integrated multi-level modeling approach for industrial-scale data interoperability.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 269, doi. 10.1007/s10270-016-0520-6
- By:
- Publication type:
- Article
UML formal semantics: lessons learned.
- Published in:
- Software & Systems Modeling, 2011, v. 10, n. 4, p. 441, doi. 10.1007/s10270-011-0207-y
- By:
- Publication type:
- Article
Formalization and Land Grabbing in Africa: Facilitation or Protection?
- Published in:
- Tanzania Journal of Development Studies, 2017, v. 15, n. 1/2, p. 1
- By:
- Publication type:
- Article
Constructive Model of the Natural Language.
- Published in:
- Acta Cybernetica, 2018, v. 23, n. 4, p. 995, doi. 10.14232/actacyb.23.4.2018.2
- By:
- Publication type:
- Article
Focus marking and semantic transfer in Indian English: The case of also.
- Published in:
- English World-Wide, 2012, v. 33, n. 1, p. 27, doi. 10.1075/eww.33.1.02fuc
- By:
- Publication type:
- Article
FUNCTIONING OF ENGLISH LANGUAGE IN A CONDITION OF ITS FORMALIZED LEARNING IN MICRO-SOCIAL STUDENT COMMUNITY.
- Published in:
- Education & Science Without Borders, 2017, v. 8, n. 15, p. 83
- By:
- Publication type:
- Article
A Formal Model Used To Describe an Economic Process - Bank Deposits.
- Published in:
- Economy Informatics, 2012, v. 12, n. 1, p. 129
- By:
- Publication type:
- Article
Game Theory and the Evolution of Meaning.
- Published in:
- Language & Linguistics Compass, 2014, v. 8, n. 9, p. 359, doi. 10.1111/lnc3.12086
- By:
- Publication type:
- Article
Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization.
- Published in:
- Synthese, 2017, v. 194, n. 1, p. 195, doi. 10.1007/s11229-015-0816-z
- By:
- Publication type:
- Article
On exhibiting representational validity.
- Published in:
- Synthese, 2015, v. 192, n. 4, p. 1157, doi. 10.1007/s11229-014-0607-y
- By:
- Publication type:
- Article
Formal Semantics of BPMN Process Models Using CPN.
- Published in:
- International Review on Computers & Software, 2023, v. 18, n. 2, p. 56, doi. 10.15866/irecos.v18i2.24401
- By:
- Publication type:
- Article
Automatic Processing of Amazighe Verbal Morphology: a New Approach for Analysis and Formalization.
- Published in:
- International Review on Computers & Software, 2015, v. 10, n. 5, p. 448, doi. 10.15866/irecos.v10i5.5755
- By:
- Publication type:
- Article
A Survey and Classification of Controlled Natural Languages.
- Published in:
- Computational Linguistics, 2014, v. 40, n. 1, p. 121, doi. 10.1162/COLI_a_00168
- By:
- Publication type:
- Article
Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 8, p. 747, doi. 10.1109/TSE.2002.1027798
- By:
- Publication type:
- Article
FORMALIZATION OF TEXTUAL USE CASES BASED ON PETRI NETS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 5, p. 695
- By:
- Publication type:
- Article
Jean-Michel Salanskis: la literatura desde las matemáticas.
- Published in:
- RILCE. Revista de Filología Hispánica, 2019, v. 35, n. 1, p. 101, doi. 10.15581/008.35.1.101-16
- By:
- Publication type:
- Article
Formal analyticity.
- Published in:
- Philosophical Studies, 2018, v. 175, n. 11, p. 2791, doi. 10.1007/s11098-017-0982-6
- By:
- Publication type:
- Article
Preferences for (in)formal language: correlations with attitudes toward linguistic variation, multilingualism, tolerance of ambiguity, and residence abroad.
- Published in:
- International Journal of Multilingualism, 2017, v. 14, n. 4, p. 317, doi. 10.1080/14790718.2016.1165229
- By:
- Publication type:
- Article
Ergative case and the transitive subject: a view from Nez Perce.
- Published in:
- Natural Language & Linguistic Theory, 2010, v. 28, n. 1, p. 73, doi. 10.1007/s11049-009-9081-5
- By:
- Publication type:
- Article
APPROACHES TO FORMALIZATION OF MOTION DYNAMICS OF ARTIFICIAL FORCE FIELD METERS.
- Published in:
- Proceedings of National Aviation University, 2016, v. 67, n. 2, p. 17, doi. 10.18372/2306-1472.67.10427
- By:
- Publication type:
- Article
COMMENTARY AND ILLOCUTIONARY EXPRESSIONS IN LINEAR CALCULI OF NATURAL DEDUCTION.
- Published in:
- Logic & Logical Philosophy, 2017, v. 26, n. 2, p. 163, doi. 10.12775/LLP.2017.002
- By:
- Publication type:
- Article
Narrative Skills in Written Texts by Deaf and Hearing Bilingual Adolescents.
- Published in:
- Reading Psychology, 2015, v. 36, n. 8, p. 643, doi. 10.1080/02702711.2014.933149
- By:
- Publication type:
- Article
How a Construction Grammar account solves the auxiliary controversy.
- Published in:
- Constructions & Frames, 2017, v. 9, n. 2, p. 251, doi. 10.1075/cf.00004.van
- By:
- Publication type:
- Article
Formalizing contemporary conceptual metaphor theory.
- Published in:
- Constructions & Frames, 2016, v. 8, n. 2, p. 166, doi. 10.1075/cf.8.2.03sti
- By:
- Publication type:
- Article
Formalization of linking information in the FrameNet lexicon: The case of 'notion' verbs.
- Published in:
- Constructions & Frames, 2012, v. 4, n. 2, p. 103, doi. 10.1075/cf.4.2.01got
- By:
- Publication type:
- Article
Frequencies of Latinate and Germanic Words in English as Determinants of Formality.
- Published in:
- Discourse Processes, 1991, v. 14, n. 3, p. 389, doi. 10.1080/01638539109544792
- By:
- Publication type:
- Article
The Counterpart Principle of Analogical Support by Structural Similarity.
- Published in:
- Erkenntnis, 2014, v. 79, p. 1169, doi. 10.1007/s10670-013-9546-0
- By:
- Publication type:
- Article
Describing Complex Dynamics in Life-Like Rules with de Bruijn Diagrams on Complex and Chaotic Cellular Automata.
- Published in:
- Journal of Cellular Automata, 2016, v. 11, n. 1, p. 91
- By:
- Publication type:
- Article
The interactional achievement of speaker meaning: Toward a formal account of conversational inference.
- Published in:
- Intercultural Pragmatics, 2018, v. 15, n. 5, p. 593, doi. 10.1515/ip-2018-0021
- By:
- Publication type:
- Article
Computing compatibility in dynamic service composition.
- Published in:
- Knowledge & Information Systems, 2009, v. 19, n. 1, p. 107, doi. 10.1007/s10115-008-0143-5
- By:
- Publication type:
- Article
Learning from Conditionals.
- Published in:
- Mind, 2020, v. 129, n. 514, p. 461, doi. 10.1093/mind/fzz025
- By:
- Publication type:
- Article
Logical constants.
- Published in:
- Mind, 1999, v. 108, n. 431, p. 503, doi. 10.1093/mind/108.431.503
- By:
- Publication type:
- Article
KVANTITATIIVNE PÖÖRE - VANA TÜLI UUES KUUES.
- Published in:
- Language & Literature / Keel ja Kirjandus, 2018, v. 61, n. 8/9, p. 747, doi. 10.54013/kk730a9
- By:
- Publication type:
- Article
On Generalization of Definitional Equivalence to Non-Disjoint Languages.
- Published in:
- Journal of Philosophical Logic, 2019, v. 48, n. 4, p. 709, doi. 10.1007/s10992-018-9491-0
- By:
- Publication type:
- Article
A Note on Irrelevance in Inductive Logic.
- Published in:
- Journal of Philosophical Logic, 2011, v. 40, n. 3, p. 357, doi. 10.1007/s10992-010-9154-2
- By:
- Publication type:
- Article
Constraining rule-based dynamics with types.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 272, doi. 10.1017/S0960129512000114
- By:
- Publication type:
- Article
CORRELATION AND CAUSALITY.
- Published in:
- Oeconomica, 2014, n. 1, p. 67
- By:
- Publication type:
- Article
A HYBRID MULTI-ATTRIBUTE GROUP DECISION MAKING METHOD BASED ON GREY LINGUISTIC 2-TUPLE.
- Published in:
- Iranian Journal of Fuzzy Systems, 2016, v. 13, n. 2, p. 37
- By:
- Publication type:
- Article
Hermeneutics, Logic and Reconstruction.
- Published in:
- Logical Analysis & History of Philosophy / Philosophiegeschichte und Logische Analyse, 2014, v. 17, p. 152
- By:
- Publication type:
- Article
A Wide-Reflective-Equilibrium Conception of Reconstructive Formalization.
- Published in:
- Logical Analysis & History of Philosophy / Philosophiegeschichte und Logische Analyse, 2014, v. 17, p. 130
- By:
- Publication type:
- Article
Modeling metrical stress acquisition through alignment constraint induction.
- Published in:
- Linguistics in the Netherlands, 2013, v. 30, n. 1, p. 28, doi. 10.1075/avt.30.03bre
- By:
- Publication type:
- Article
Speech Acts in a Dialogue Game Formalisation of Critical Discussion.
- Published in:
- Argumentation, 2017, v. 31, n. 2, p. 245, doi. 10.1007/s10503-016-9404-8
- By:
- Publication type:
- Article
Characteristic evidence, counter evidence and reconstruction problems in forensic computing.
- Published in:
- IT: Information Technology, 2015, v. 57, n. 6, p. 339, doi. 10.1515/itit-2015-0017
- By:
- Publication type:
- Article
Expertise in symbol-referent mapping.
- Published in:
- Behavioral & Brain Sciences, 2009, v. 32, n. 3/4, p. 338, doi. 10.1017/S0140525X09990793
- By:
- Publication type:
- Article
PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 2005, v. 16, n. 4, p. 623, doi. 10.1142/S0129054105003194
- By:
- Publication type:
- Article
En torno a la adquisición de los pronombres.
- Published in:
- Revista Nebrija de Lingüística Aplicada a la Enseñanza de Lenguas, 2014, n. 16, p. 89
- By:
- Publication type:
- Article
Formalization of security patterns as a means to infer security controls in business processes.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 1, p. 57, doi. 10.1093/jigpal/jzu042
- By:
- Publication type:
- Article
Lambek grammars with one division and one primitive type.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 207, doi. 10.1093/jigpal/jzr031
- By:
- Publication type:
- Article
Labelled Natural Deduction for Conditional Logics of Normality.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 2, p. 123, doi. 10.1093/jigpal/10.2.123
- By:
- Publication type:
- Article
Semiotic impediments to formalizations.
- Published in:
- Semiotica, 1998, v. 120, n. 1/2, p. 109, doi. 10.1515/semi.1998.120.1-2.109
- By:
- Publication type:
- Article