Výsledky vyhledávání - Formal Definitions and Theory: Syntax and Semantics

The theory of the sentence secondary members in D. M. Ovsianyko-Kulykovskyі’s syntax studies and its practical implementation

Autoři: Hanna Aniutina

Zdroj: Вісник Харківського національного університету імені В. Н. Каразіна. Серія Філологія. Vìsnik Harkìvsʹkogo nacìonalʹnogo unìversitetu ìmenì V.N. Karazìna. Serìâ Fìlologìâ., Iss 94, Pp 37-41 (2024)

Témata: syntax unit, main members of the sentence, secondary members of the sentence, object, semantic function, lexical meaning, grammatical meaning, Philology. Linguistics, P1-1091

Popis souboru: electronic resource

Relation: https://periodicals.karazin.ua/philology/article/view/23757; https://doaj.org/toc/2227-1864

Přístupová URL adresa: https://doaj.org/article/96295d0317a04cb492e4aba8fe019172

One-to-many-relations in Morphology, Syntax, and Semantics

Autoři: Crysmann, Berthold Sailer, Manfred

Resource Type: eBook.

Témata: Grammar, Comparative and general--Morphosyntax, Semantics, Comparative, Language arts

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

THEORIES OF ARGUMENT STRUCTURE: THE CONNECTION BETWEEN LEXICAL INFORMATION AND SYNTACTIC STRUCTURE.

Autoři: Fábregas, Antonio¹ antonio.fabregas@ntnu.no

Zdroj: Borealis: An International Journal of Hispanic Linguistics. 2024, Vol. 13 Issue 2, p1-126. 126p.

Témata: *STRUCTURAL analysis (Engineering), *ARGUMENT, *SYNTAX (Grammar), *VERBS, *DEFINITIONS

Geografický termín: UTAH

Formal Definitions and Theory—syntax, semantics

Autoři: Todd Millstein Colin Bleckner Craig Chambers a další

Přispěvatelé: Todd Millstein Colin Bleckner Craig Chambers a další

Zdroj: http://www.cs.ucla.edu/~todd/research/icfp02.pdf.

Témata: Design, Languages, Theory Keywords extensible datatypes, extensible functions, modular typechecking

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.4577; http://www.cs.ucla.edu/~todd/research/icfp02.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.4577
http://www.cs.ucla.edu/~todd/research/icfp02.pdf

A Framework for Defining Logical Frameworks

Autoři: HONSELL, Furio LENISA, Marina LIQUORI LUIGI a další

Přispěvatelé: HONSELL, Furio LENISA, Marina LIQUORI LUIGI a další

Zdroj: Electronic Notes in Theoretical Computer Science. 172:399-436

Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Dependent-type systems, Lambda calculus, Logical Framework, Logics, Pattern matching, Logic and constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Formal Definitions and Theory: Syntax and Semantics, Theoretical Computer Science, Lambda calculus and related systems, Constraint and logic languages Category, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Language Classifications: Applicative (functional) languages, 0202 electrical engineering, electronic engineering, information engineering, Mechanical theorem proving, Computer Science(all)

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-01148312v1/document
https://doi.org/10.1016/j.entcs.2007.02.014
https://inria.hal.science/hal-01148312v1
https://hal.inria.fr/hal-01148312/document
https://dblp.uni-trier.de/db/journals/entcs/entcs172.html#HonsellLL07
https://www-sop.inria.fr/members/Luigi.Liquori/PAPERS/Plotkin.pdf
https://hal.inria.fr/inria-00088809
https://users.dimi.uniud.it/~marina.lenisa/Papers/Soft-copy-pdf/plo07.pdf
https://www.sciencedirect.com/science/article/pii/S1571066107000862

Solving dependency quantified Boolean formulas using quantifier localization.

Autoři: Ge-Ernst, Aile Scholl, Christoph Síč, Juraj a další

Zdroj: Theoretical Computer Science. Aug2022, Vol. 925, p1-24. 24p.

Témata: *SEMANTICS, *SYNTAX (Grammar), *CONTESTS, *DEFINITIONS

Syntax and semantics of the compositional interchange format for hybrid systems

Autoři: Nadales Agut, D.E. van Beek, D.A. Rooda, J.E.

Zdroj: Journal of Logic & Algebraic Programming. Jan2013, Vol. 82 Issue 1, p1-52. 52p.

Témata: *SYNTAX in programming languages, *SEMANTICS, *HYBRID systems, *SET theory, *EMBEDDED computer systems, *MACHINE theory

Syntax and Semantics in Higher-Type Recursion Theory

Autoři: Kierstead, David P.

Zdroj: Transactions of the American Mathematical Society, 1983 Mar 01. 276(1), 67-105.

Přístupová URL adresa: https://www.jstor.org/stable/1999418

—Versatile Syntax and Semantics for Functional Harmonic Analysis Labels

Autoři: Markus Lepper Baltasar Trancòn y Widemann Michael Oehler

Zdroj: Music & Science, Vol 5 (2022)

Témata: Music, M1-5000, Psychology, BF1-990

Popis souboru: electronic resource

Relation: https://doaj.org/toc/2059-2043

Přístupová URL adresa: https://doaj.org/article/dcd4e8265d16439982f5a9be904d3957

Essentials of semantic syntax

Autoři: Pieter Seuren

Zdroj: Cadernos de Linguística, Vol 2, Iss 1 (2021)

Témata: Algorithm, Cognitive Realism, Cycle, Generative Grammar, Generative Semantics, Grammar Mode, Philology. Linguistics, P1-1091

Popis souboru: electronic resource

Relation: https://cadernos.abralin.org/index.php/cadernos/article/view/290; https://doaj.org/toc/2675-4916

Přístupová URL adresa: https://doaj.org/article/6eeb90e9cdf54a1d832732e68100ba26

Viewcharts: Syntax and Semantics.

Autoři: Isazadeh, Ayaz Karimpour, Jaber

Zdroj: Informatica. 2008, Vol. 19 Issue 3, p345-362. 18p. 13 Diagrams.

Témata: *STATECHARTS (Computer science), *STRUCTURED techniques of electronic data processing, *MACHINE theory, *INFORMATION theory, *INFORMATION science

Analysis of semantic components of words in the field of nature in Nahj al-Balaghah based on labeling theory [In Persian]

Autoři: Razyeh Nazari

Zdroj: آموزش زبان، ادبیات و زبانشناسی, Vol 4, Iss 2, Pp 203-223 (2021)

Témata: nahj al-balaghah, semantic axes, substitution and coexistence, markedness theory, words marking nature, Language and Literature

Popis souboru: electronic resource

Relation: http://jltll.ierf.ir/article_245961_ce8e562cb2dee11f5455c6169cef1a44.pdf; https://doaj.org/toc/2645-3428

Přístupová URL adresa: https://doaj.org/article/bcf1a50753414f08a9b6757554d2ffed

Categorical Model of Structural Operational Semantics for Imperative Language.

Autoři: Steingartner, William Novitzká, Valerie

Zdroj: Journal of Information & Organizational Sciences. 2016, Vol. 40 Issue 2, p203-219. 17p.

Témata: *PROGRAMMING languages, *SYNTAX (Grammar), *SEMANTICS

For a new semiotics in Construction Grammar: A statistical analysis of the relationship between transitive syntax and semantics.

Autoři: Lepesqueur, Marcus Tenuta, Adriana Maria

Zdroj: Cognitive Semiotics; Nov2019, Vol. 12 Issue 2, pN.PAG-N.PAG, 9p

Témata: CONSTRUCTION grammar, STATISTICS, DISCOURSE analysis, SEMANTICS, SEMIOTICS, SYNTAX (Grammar)

Syntax, Semantics, and the Lexicon

Autoři: Jędrzejowski, Łukasz Junghanns, Uwe Schwabe, Kerstin a další

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Integrating multi-modal data fusion approaches for analysis of dairy cattle vocalizations.

Autoři: Jobarteh, Bubacarr Mincu-Iorga, Madalina Gavojdian, Dinu a další

Zdroj: Frontiers in Veterinary Science. 2025, p1-13. 13p.

Automatic extraction of corollaries from semantic structure of text

Autoři: Nurtazin Abyz T. Khisamiev Zarif G.

Zdroj: Open Engineering, Vol 6, Iss 1 (2016)

Témata: Text, sentence, syntax, semantics, consequently, cause, diagram, theory, logic programming, automation, formalism, Engineering (General). Civil engineering (General), TA1-2040

Popis souboru: electronic resource

Relation: http://www.degruyter.com/view/j/eng.2016.6.issue-1/eng-2016-0045/eng-2016-0045.xml?format=INT; https://doaj.org/toc/2391-5439

Přístupová URL adresa: https://doaj.org/article/4957130c9f824a0fb49a9332c8dd2655

Formal Semantics for SDL

Definition and Implementation

Autoři: Prinz, Andreas

Thesis Advisors: Börger, Egon, Fischer, Joachim, Bothe, Klaus

Témata: Formale Semantik, SDL, Spezifikationssprache, ASM, Compilerbau, lex, yacc, kimwitu, formal semantics, specification language, abstract state machines, compiler construction, 004 Informatik, 28 Informatik, Datenverarbeitung, ST 250 S22, ddc:004

Popis souboru: application/pdf

Dostupnost: http://edoc.hu-berlin.de/18452/14404

Philosophy of Language. Course Notes for a Tutorial on Computational Semantics.

Autoři: Wilks, Yorick

Peer Reviewed: N

Page Count: 51

Descriptors: Applied Linguistics, Artificial Intelligence, Cognitive Processes, Computational Linguistics, Linguistic Theory, Logic, Logical Thinking, Mathematical Logic, Philosophy, Semantics, Syntax, Transformational Generative Grammar

Nominal abstraction

Autoři: Gacek, Andrew Miller, Dale Nadathur, Gopalan

Zdroj: Information & Computation. Jan2011, Vol. 209 Issue 1, p48-73. 26p.

Témata: *SEMANTICS, *ABSTRACT thought, *PROOF theory, *SYNTAX (Grammar), *JUDGMENT (Logic), *RECURSIVE functions