• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (627)
    • Book (64)
    • Miscellaneous (32)
  • 
    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...37 Hits 1 – 20 of 723 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 Unsupervised Morphological Segmentation and Part-of-Speech Tagging for Low-Resource Scenarios Eskander, Ramy. - 2021 BASE Show details 3 Salience Estimation and Faithful Generation: Modeling Methods for Text Summarization and Generation Kedzie, Christopher. - 2021 BASE Show details 4 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 5 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 6 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 7 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 8 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) Abstract: The stellar resolution is an asynchronous model of computation used in Girard's Transcendental Syntax which is based on Robinson's first-order clausal resolution. By using methods of realisability for linear logic, we obtain a new model of multiplicative linear logic (MLL) based on sort of logic programs called constellations which are used to represent proofs, cut-elimination, formulas/types, correctness and provability very naturally. A philosophical justification of these works coming from the Kantian inspirations of Girard would be to study the conditions of possibility of logic, that is the conditions from which logical constructions emerge. Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory; Geometry of Interaction; Linear Logic; Models of Computation; Semantics URL: https://hal.archives-ouvertes.fr/hal-02977750v4/file/main.pdf https://hal.archives-ouvertes.fr/hal-02977750v4/document https://hal.archives-ouvertes.fr/hal-02977750 BASE Hide details 9 A Many Small Programs (MSP) Approach in a CS1 Course Allen, Joe Michael. - : eScholarship, University of California, 2021 BASE Show details 10 Unsupervised Morphological Segmentation and Part-of-Speech Tagging for Low-Resource Scenarios ... Eskander, Ramy. - : Columbia University, 2021 BASE Show details 11 History of Logo Solomon, C; Harvey, B; Kahn, K... In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020) BASE Show details 12 Preventing Summer Reading Slide: Examining the Effects of Two Computer-Assisted Reading Programs Pindiprolu, Sekhar S.; Marks, Lori J. In: ETSU Faculty Works (2020) BASE Show details 13 A call for cautious interpretation of meta-analytic reviews Boers, Frank; Bryfonski, Lara; Faez, Farahnaz... In: Education Publications (2020) BASE Show details 14 Mechanized metatheory revisited Miller, Dale In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-01884210 ; Journal of Automated Reasoning, Springer Verlag, 2019, 63 (3), pp.625-665. ⟨10.1007/s10817-018-9483-3⟩ (2019) BASE Show details 15 Decidable XPath Fragments in the Real World Baelde, David; Lick, Anthony; Schmitz, Sylvain In: 38th ACM Symposium on Principles of Database Systems (PODS'19) ; https://hal.inria.fr/hal-01852475 ; 38th ACM Symposium on Principles of Database Systems (PODS'19), 2019, Amsterdam, Netherlands. ⟨10.1145/3294052.3319685⟩ (2019) BASE Show details 16 Primärprozess in der Katathym Imaginativen Psychotherapie unter dem Einfluss psychotroper Substanzen ... Grotz, Annalen. - : Universität Ulm, 2019 BASE Show details 17 The Manifesto Corpus: a new resource for research on political parties and quantitative text analysis Merz, Nicolas; Regel, Sven; Lewandowski, Jirka In: Research and Politics ; 3 ; 2 ; 1-8 (2019) BASE Show details 18 A sequent calculus with dependent types for classical arithmetic Miquey, Étienne In: LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01703526 ; LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.720-729, ⟨10.1145/3209108.3209199⟩ (2018) BASE Show details 19 NgramPOS: A Bigram-based Linguistic and Statistical Feature Process Model for Unstructured Text Classification Lau, Sian; Yazdania, Sepideh; Tan, Zhiyuan. - : BMC, 2018 BASE Show details 20 ПРОФЕССИОНАЛЬНО-ОРИЕНТИРОВАННОЕ ОБУЧЕНИЕ ИНОСТРАННОМУ ЯЗЫКУ МАГИСТРАНТОВ ТЕХНИЧЕСКИХ СПЕЦИАЛЬНОСТЕЙ ГРАММА ДАРЬЯ ВИКТОРОВНА; КУЗНЕЦОВА СВЕТЛАНА ВЛАДИМИРОВНА. - : Общество с ограниченной ответственностью Центр научного сотрудничества Интерактив плюс, 2017 BASE Show details Page: 1 2 3 4 5...37

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 2 Bibliographies BLLDB 0 BDSL 0 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 19 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 702 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0