• Refine your search:
  • 
    Keyword:
    
    • FOS Computer and information sciences (12)
    • Logic in Computer Science cs.LO (12)
    • Programming Languages cs.PL (12)
    • Cryptography and Security cs.CR (3)
    • D.3.1; D.3.2; D.3.3; D.3.4 (2)
    • 03B15, 03D65, 68Q15, 68Q55, 68Q60 (1)
    • Artificial Intelligence cs.AI (1)
    • Category Theory math.CT (1)
    • D.3.3; D.3.2; D.3.4 (1)
    • D.3; K.6; D.2; C.2; H.3; I.5; I.2 (1)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    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 Hits 1 – 12 of 12 1 On Reinforcement Learning, Effect Handlers, and the State Monad ... Lago, Ugo Dal; Gavazzo, Francesco; Ghyselen, Alexis. - : arXiv, 2022 BASE Show details 2 Formal Metatheory of Second-Order Abstract Syntax ... Fiore, Marcelo; Szamozvancev, Dmitrij. - : arXiv, 2022 BASE Show details 3 A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ... Haberland, René. - : arXiv, 2021 BASE Show details 4 TWAM: A Certifying Abstract Machine for Logic Programs ... Bohrer, Brandon; Crary, Karl. - : arXiv, 2018 BASE Show details 5 (Co)recursion in Logic Programming: Lazy vs Eager ... Heras, Jónathan; Komendantskaya, Ekaterina; Schmidt, Martin. - : arXiv, 2014 BASE Show details 6 Intensional Cyberforensics ... Mokhov, Serguei A.. - : arXiv, 2013 BASE Show details 7 The Standard Aspect of Dialectical Logic ... Kent, Robert E.. - : arXiv, 2011 BASE Show details 8 Rewriting Logic Semantics of a Plan Execution Language ... Dowek, Gilles; Muñoz, César; Rocha, Camilo. - : arXiv, 2010 BASE Show details 9 A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY ... Mokhov, Serguei A.; Paquet, Joey. - : arXiv, 2009 BASE Show details 10 Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle ... Mokhov, Serguei A.; Paquet, Joey. - : arXiv, 2009 BASE Show details 11 Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid ... Mokhov, Serguei A.; Paquet, Joey; Debbabi, Mourad. - : arXiv, 2009 BASE Show details 12 Temporal Phylogenetic Networks and Logic Programming ... Erdem, Esra; Lifschitz, Vladimir; Ringe, Don. - : arXiv, 2005 BASE Show details

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) 0 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 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 12 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0