Resultados da pesquisa - "arithmetic"

Refinar resultados
  1. 1201
  2. 1202
  3. 1203
  4. 1204
  5. 1205
  6. 1206
  7. 1207
  8. 1208
  9. 1209
  10. 1210
  11. 1211
  12. 1212

    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...

    Publicado em 2023
    Sumário: “...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
    Recurso Electrónico livro electrónico
  13. 1213
  14. 1214
  15. 1215
  16. 1216
  17. 1217
  18. 1218
  19. 1219
  20. 1220