• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (808)
    • subject to license (79)

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...41 Hits 1 – 20 of 808 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 Restoring Reason: Theology of Logic in Origen of Alexandria ... Haecker, Ryan. - : Apollo - University of Cambridge Repository, 2022 BASE Show details 3 The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking Farshad Badie; Luis M. Augusto In: AI; Volume 3; Issue 2; Pages: 353-370 (2022) BASE Show details 4 Properties and propositions : the metaphysics of higher-order logic Trueman, Robert. - Cambridge, United Kingdom : Cambridge University Press, 2021 BLLDB UB Frankfurt Linguistik Show details 5 Demo Paper: Coqlex, an approach to generate verified lexers Ouedraogo, Wendlasida; Ilik, Danko; Straßburger, Lutz In: ML 2021-ACM SIGPLAN Workshop on ML ; https://hal.inria.fr/hal-03470713 ; ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States ; https://icfp21.sigplan.org/home/mlfamilyworkshop-2021 (2021) BASE Show details 6 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 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) BASE Show details 9 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 10 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 11 Parametric updates in parametric timed automata André, Étienne; Lime, Didier; Ramparison, Mathias In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-03340905 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩ ; https://lmcs.episciences.org/7470 (2021) BASE Show details 12 Improving Automation for Higher-Order Proof Steps Defourné, Antoine In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021) BASE Show details 13 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 14 THE PREREQUISITE FOR SUCCESSFUL DEVELOPMENT OF ECONOMY IS A COMBINATION OF MARKET AND STATE- CONTROLLED FORMS OF ITS ORGANIZATION ... Sapozhnikov, H.N.. - : Инфинити, 2021 BASE Show details 15 A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ... Haberland, René. - : arXiv, 2021 BASE Show details 16 Axiomatic Theories of Truth and Reflection ... : Axiomatische Theorien der Wahrheit und Reflexionsprinzipien ... De Coster, Arnaud. - : TU Wien, 2021 BASE Show details 17 現代中国語の限定語の意味指示と論理分析 ; A Logical Analysis of the Semantic Orientation of Attributives in Mandarin Chinese 劉 燕嵐; リュウ エンラン. - : 神奈川大学人文学会, 2021. : The Society of Humanities at Kanagawa University, 2021 BASE Show details 18 Lambek pregroups are Frobenius spiders in preorders ... Pavlovic, Dusko. - : arXiv, 2021 BASE Show details 19 A framework of controlled robot language for reliable human-robot collaboration Tran, Dang M.; Yan, Fujian; Yihun, Yimesker S.. - : Springer, Cham, 2021 BASE Show details 20 A Language Agnostic Approach to Modeling Requirements: Specification and Verification Alidra, Abdelghani; Beugnard, Antoine; Godfroy, Hubert... In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020) BASE Show details Page: 1 2 3 4 5...41

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