• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (167)
    • SYSTEM DEVELOPMENT CORP SANTA MONICA CALIF (11)
    • Ginsburg,Seymour (9)
    • Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS) (7)
    • Crutch, SJ (7)
    • Joshua Herman (7)
    • Laboratoire Parole et Langage (LPL) (7)
    • Eng, Boris (6)
    • Laboratoire d'Informatique de Paris-Nord (LIPN) (6)
    • ANR-12-CORD-0004,Polymnie,Analyse et synthèse dans les grammaires catégorielles abstraites : du lexique au discours(2012) (5)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (628)
    • Book (89)
    • Miscellaneous (63)
  • 
    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...39 Hits 1 – 20 of 780 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 SOME WAYS OF LEXICAL AND GRAMMATICAL TRANSFORMATION OF THE TEXT WHEN SUMMARIZING ... Rakhmatulaeva, T.G.. - : Инфинити, 2022 BASE Show details 3 Formalization of AMR Inference via Hybrid Logic Tableaux ... Goldner, Eli Tecumseh. - : Brandeis University, 2022 BASE Show details 4 Bangla Behavioural Study ... Stockall, Linnaea. - : Open Science Framework, 2022 BASE Show details 5 Os géneros do discurso académico em Moçambique: um diagnóstico, uma proposta de análise Mauai, Ângelo Américo. - 2022 BASE Show details 6 Does adding beer to coffee enhance the activation of drinks ? An ERP study of semantic category priming Ovando-Tellez, Marcela; Rohaut, Benjamin; George, Nathalie... In: ISSN: 1758-8928 ; EISSN: 1758-8936 ; Cognitive Neuroscience ; https://hal.sorbonne-universite.fr/hal-03282300 ; Cognitive Neuroscience, Taylor and Francis, 2021, pp.1-16. ⟨10.1080/17588928.2021.1940117⟩ (2021) BASE Show details 7 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 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 Verification of Program Transformations with Inductive Refinement Types Al-Sibahi, Ahmad,; Jensen, Thomas,; Dimovski, Aleksandar,... In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (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) 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-02977750v3/document https://hal.archives-ouvertes.fr/hal-02977750v3/file/main.pdf https://hal.archives-ouvertes.fr/hal-02977750 BASE Hide details 11 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 12 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 13 Ein Überblick über die neuesten abstrakten Zusammenfassungstechniken ; A Survey of Recent Abstract Summarization Techniques ; Un aperçu des techniques récentes de résumé abstrait Puspitaningrum, Diyah In: Proceedings of Sixth International Congress on Information and Communication TechnologyICICT 2021, London, Volume 4Series: Lecture Notes in Networks and Systems, Vol. 217Yang, X.-S., Sherratt, S., Dey, N., Joshi, A. (Eds.) 2021 ; Proceedings of Sixth International Congress on Information and Communication Technology ICICT 2021, London, Volume 4, Series: Lecture Notes in Networks and Systems, Vol. 217. Springer Singapore, 2021 ; https://hal.archives-ouvertes.fr/hal-03216381 ; Proceedings of Sixth International Congress on Information and Communication Technology ICICT 2021, London, Volume 4, Series: Lecture Notes in Networks and Systems, Vol. 217. Springer Singapore, 2021, ICICT 2021, Feb 2021, London, United Kingdom ; https://www.waterstones.com/book/proceedings-of-sixth-international-congress-on-information-and-communication-technology/xin-she-yang/simon-sherratt/9789811621017 (2021) BASE Show details 14 A workshop on the epistemology and didactics of mathematical structuralism Hausberger, Thomas In: Advances in the Anthropological Theory of the Didactic and their Consequences in Curricula and in Teacher Education ; https://hal.archives-ouvertes.fr/hal-03275633 ; Yves Chevallard; Berta Barquero Farràs; Marianna Bosch; Ignasi Florensa; Josep Gascón; Pedro Nicolás; Noemí Ruiz-Munzón. Advances in the Anthropological Theory of the Didactic and their Consequences in Curricula and in Teacher Education, Springer Nature Switzerland AG, 2021 (2021) BASE Show details 15 Over-promotion and caution in abstracts of preprints during the COVID-19 crisis Bordignon, Frédérique; Ermakova, Liana; Noel, Marianne In: ISSN: 0953-1513 ; Learned Publishing ; https://hal-enpc.archives-ouvertes.fr/hal-03284142 ; Learned Publishing, Association of Learned and Professional Society Publishers, 2021, ⟨10.1002/leap.1411⟩ (2021) BASE Show details 16 Early Analogical Extensions: An ERP Study on Preschoolers' Semantic Approximations Raynal, Lucas; Clément, Evelyne; Rämä, Pia... In: 43rd Annual Meeting of the Cognitive Science Society ; https://hal.archives-ouvertes.fr/hal-03443188 ; 43rd Annual Meeting of the Cognitive Science Society, 2021, Virtual meeting, France (2021) BASE Show details 17 Early Analogical Extensions: An ERP Study on Preschoolers' Semantic Approximations Raynal, Lucas; Clément, Evelyne; Rämä, Pia... In: 43rd annual meeting of the Cognitive Science Society ; https://hal-univ-paris8.archives-ouvertes.fr/hal-03266957 ; 43rd annual meeting of the Cognitive Science Society, Jun 2021, Vienne (virtual), Austria (2021) BASE Show details 18 Early analogical extensions: An ERP Study on preschoolers'semantic approxinmations Raynal, Lucas; Clément, Evelyne; Rämä, Pia... In: Proceedings of the Annual Meeting of the Cognitive Science Society, 43(43) ; Annual Meeting of the Cognitive Science Society ; https://hal.archives-ouvertes.fr/hal-03409631 ; Annual Meeting of the Cognitive Science Society, Jul 2021, Vienna, Austria (2021) BASE Show details 19 Code-driven Language Development: Framework for Analysis of C/C++ Open-Source Projects ... Hartogs, Siegfried. - : ETH Zurich, 2021 BASE Show details 20 Abstract concepts, language and sociality: from acquisition to inner speech ... Barca, Laura. - : Open Science Framework, 2021 BASE Show details Page: 1 2 3 4 5...39

Mobile view All Catalogues UB Frankfurt Linguistik 22 IDS Mannheim 1 OLC Linguistik 9 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 1 Institut für Empirische Sprachwissenschaft 1 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 141 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 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 635 Linguistik-Repository 1 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0