Suchergebnisse - "Theory of computation → Complexity theory AND logic phrases Implicit Complexity"

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1

    Parallelism in Soft Linear Logic

    Autoren: 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)

    Weitere Verfasser: 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)

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

    Schlagwörter: 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]

    Geographisches Schlagwort: Göttingen, Germany

    Verfügbarkeit: 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
    Zu den Favoriten
  2. 2

    Parallelism in Soft Linear Logic

    Autoren: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois et al.

    Weitere Verfasser: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois et al.

    Schlagwörter: [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

    Dateibeschreibung: application/pdf

    Zugangs-URL: 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
    Zu den Favoriten

Suchwerkzeuge: