Výsledky vyhledávání - "Theory of computation → Complexity theory AND logic phrases Implicit Complexity*"

  • Zobrazuji výsledky 1 - 2 z 2
Upřesnit hledání
  1. 1

    Parallelism in Soft Linear Logic

    Autoři: Jacobé de Naurois, Paulin Laboratoire d'Informatique de Paris-Nord (LIPN) Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS)

    Přispěvatelé: Jacobé de Naurois, Paulin Laboratoire d'Informatique de Paris-Nord (LIPN) Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS)

    Zdroj: Computer Science Logic ; https://hal.science/hal-03374648 ; Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.10⟩

    Témata: 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Typing, Linear Logic, Functional Programming, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

    Geografické téma: Göttingen, Germany

    Dostupnost: https://hal.science/hal-03374648
    https://hal.science/hal-03374648v1/document
    https://hal.science/hal-03374648v1/file/PSLL-CSL%20-%20Final.pdf
    https://doi.org/10.4230/LIPIcs.10

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Parallelism in Soft Linear Logic

    Autoři: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois a další

    Přispěvatelé: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois a další

    Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Implicit Complexity, Functional Programming, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], ddc:004, Typing, Linear Logic

    Popis souboru: application/pdf

    Přístupová URL adresa: https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271468v1
    https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.26
    https://hal.science/hal-03374648v1
    https://doi.org/10.4230/lipics...10
    https://hal.science/hal-03374648v1/document

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: