Search Results - programming language theory

  1. 361
  2. 362
  3. 363
  4. 364
  5. 365

    Sustainable Education and Social Networks

    Published 2023
    Subjects: “…Language Models…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  6. 366

    Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2023
    Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
    Link to Metadata
    Electronic eBook
  7. 367
  8. 368
  9. 369
  10. 370
  11. 371
  12. 372
  13. 373
  14. 374
  15. 375
  16. 376
  17. 377
  18. 378
  19. 379
  20. 380