Mostrando 21 - 39 Resultados de 39 Para Buscar '"VASS"', tiempo de consulta: 0.04s Limitar resultados
  1. 21
    Publicado 1999
    Libro
  2. 22
  3. 23
    por Vasse, Denis
    Publicado 1969
    Libro
  4. 24
    Publicado 1969
    Libro
  5. 25
    Publicado 1969
    991000060569706719
  6. 26
  7. 27
  8. 28
    por Vasse, Denis
    Publicado 1991
    991001734959706719
  9. 29
    Publicado 2008
    Libro
  10. 30
    por Kobayashi, Naoki
    Publicado 2024
    Tabla de Contenidos: “…Types and Programming Languages -- From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory -- Light Genericity -- Logical Predicates in Higher-Order Mathematical Operational Semantics -- On Basic Feasible Functionals and the Interpretation Method -- Logic and Proofs -- Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems -- A Resolution-Based Interactive Proof System for UNSAT -- Craig Interpolation for Decidable First-Order Fragments -- Clones, closed categories, and combinatory logic -- Infinite-State Systems -- Reachability in Fixed VASS: Expressiveness and Lower Bounds -- From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting -- Dimension-Minimality and Primality of Counter Nets -- Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability…”
    Libro electrónico
  11. 31
    Publicado 2023
    Tabla de Contenidos: “…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. …”
    Libro electrónico
  12. 32
    Publicado 2010
    Tabla de Contenidos: “…Olson, Stefan Samuelsson -- 2 The Role of Attachment and Play in Young Children's Learning and Development / Artin Göncü, Barbara Abel, Melissa Boshans -- Section II Interaction, Relationships and Learning -- 3 The Guided Construction of Knowledge: Talk between Teachers and Students / Judith Kleine Staarman, Neil Mercer -- 4 Peer Collaboration and Learning in the Classroom / Eva Vass, Karen Littleton -- 5 Argumentation and Reasoning / Baruch B. …”
    Libro
  13. 33
    Publicado 2014
    “…It eventually leads him to Mexico and a "Dr." Vass, an American physician whose license was revoked in the ... …”
    DVD
  14. 34
    por Vasse, Denis
    Publicado 1974
    Libro
  15. 35
    Capítulo
  16. 36
    por Vasse, Denis
    Publicado 1969
    Libro
  17. 37
    por Beauchamp, Paul - Vasse, Denis
    Publicado 1992
    Libro
  18. 38
    “…Features include: a systematic approach: ideas are touched upon, introduced gradually and then consolidated through the use of illustrative examples; several entry points to accommodate differing mathematical backgrounds; numerous worked examples and exercises to illustrate the theory and applications; full solutions to exercises, available to lecturers via the web. Vass Mavron is Professor of Mathematics in the Institute of Mathematical and Physical Sciences at the University of Wales Aberystwyth. …”
    Libro electrónico
  19. 39
    Publicado 1992
    Libro