Home
Catalogue search
Refine your search:
Keyword:
Formale Semantik (3.649)
Englisch (1.011)
Quantor (543)
Sprachlogik (409)
Deutsch (291)
Einzelsprachliche Elemente (290)
Diskursrepräsentationstheorie (220)
Scopus (199)
Semantik (190)
Wahrheitstheorie (186)
more
Creator / Publisher:
The Pennsylvania State University CiteSeerX Archives (45)
Stechow, Arnim von (36)
Gutiérrez-Rexach, Javier (35)
Partee, Barbara H. (35)
Asher, Nicholas (33)
Hintikka, Jaakko (32)
Swart, Henriëtte de (28)
Dekker, Paul (26)
Benthem, Johan van (25)
Winter, Yoad (25)
more
Year:
2022 (1)
2021 (24)
2020 (16)
2019 (12)
2018 (14)
2017 (18)
2016 (28)
2015 (24)
2014 (26)
2013 (38)
more
Medium
Type:
Article (3.187)
Book (677)
Miscellaneous (26)
Website (6)
Series (1)
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Page:
1
2
3
4
5
...
195
Hits 1 – 20 of 3.897
1
A gentle introduction to Girard's Transcendental Syntax for the linear logician
Eng, Boris
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
BASE
Show details
2
Semantics with assignment variables
Silk, Alex
. - Cambridge, United Kingdom : Cambridge University Press, 2021
BLLDB
UB Frankfurt Linguistik
Show details
3
Properties and propositions : the metaphysics of higher-order logic
Trueman, Robert
. - Cambridge, United Kingdom : Cambridge University Press, 2021
BLLDB
UB Frankfurt Linguistik
Show details
4
Conceptual alternatives: Competition in language and beyond
Buccola, Brian
;
Križ, Manuel
;
Chemla, Emmanuel
In: Linguistics & Philosophy ; https://hal.archives-ouvertes.fr/hal-03102612 ; Linguistics & Philosophy, In press (2021)
BASE
Show details
5
Multiplicative Linear Logic from Logic Programs and Tilings
Eng, Boris
;
Seiller, Thomas
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
BASE
Show details
6
A gentle introduction to Girard's Transcendental Syntax for the linear logician
Eng, Boris
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
7
Stellar Resolution: Multiplicatives - for the linear logician, through examples
Eng, Boris
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
8
A gentle introduction to Girard's Transcendental Syntax for the linear logician
Eng, Boris
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
9
Stellar Resolution: Multiplicatives - for the linear logician, through examples
Eng, Boris
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
10
Covariant Subtyping Applied to Semantic Predicate Calculi
Babonnaud, William
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03542057 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
BASE
Show details
11
On the habitual verb "pflegen" in German: its use, origin, and development
Jędrzejowski, Łukasz
In:
Linguistics. - Berlin [u.a.] : Mouton de Gruyter
59 (2021) 6, 1473-1530
BLLDB
Show details
12
Dialogue Modeling in a Dynamic Framework ; Modélisation dynamique des dialogues
Boritchev, Maria
. - : HAL CCSD, 2021
In: https://hal.archives-ouvertes.fr/tel-03541628 ; Computation and Language [cs.CL]. Université de Lorraine; École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine, 2021. English. ⟨NNT : 2021LORR0199⟩ (2021)
BASE
Show details
13
MIC ...
Kurthy, Miklos
. - : Open Science Framework, 2021
BASE
Show details
14
Advances in formal Slavic linguistics 2018 ...
Unkn Unknown
. - : Freie Universität Berlin, 2021
BASE
Show details
15
Cyclic scope and processing difficulty in a Minimalist parser
Pasternak, Robert
;
Graf, Thomas
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 8 ; 2397-1835 (2021)
BASE
Show details
16
Revisiting subjunctive obviation in French: a formal acceptability judgment study
Feldhausen, Ingo
;
Buchczyk, Sebastian
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 59 ; 2397-1835 (2021)
BASE
Show details
17
Approximation derived from a scalar exclusive particle associating with covert focus: The case of Hebrew be-sax ha-kol
Orenstein, Dina
;
Greenberg, Yael
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 5 ; 2397-1835 (2021)
BASE
Show details
18
Ideal Words: A Vector-Based Formalisation of Semantic Competence ...
Herbelot, A
;
Copestake, Ann
. - : Apollo - University of Cambridge Repository, 2021
BASE
Show details
19
現代中国語の限定語の意味指示と論理分析 ; A Logical Analysis of the Semantic Orientation of Attributives in Mandarin Chinese
劉 燕嵐
;
リュウ エンラン
. - : 神奈川大学人文学会, 2021. : The Society of Humanities at Kanagawa University, 2021
BASE
Show details
20
Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21)
Butterfield, Andrew
;
Ekembe Ngondi, Gerard
;
Koutavas, Vasileios
. - : Springer, 2021
BASE
Show details
Page:
1
2
3
4
5
...
195
Mobile view
All
Catalogues
UB Frankfurt Linguistik
535
IDS Mannheim
53
OLC Linguistik
434
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
9
Leibniz-Centre General Linguistics (ZAS)
9
Bibliographies
BLLDB
3.454
BDSL
1
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
1
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
6
Journal directory
0
Database directory
1
Dictionary directory
0
Open access documents
BASE
257
Linguistik-Repository
30
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern