Résultats de la recherche - Counter Logic Gaming

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

Table des matières: “…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

Recreational Athletes' Use of Performance-Enhancing Substances: Results from the First European Randomized Response Technique Survey par Ask Vest Christiansen, Monika Frenger, Andrea Chirico, Werner Pitsch

Connect to this object online.

A Comprehensive Mapping of High-Level Men's Volleyball Gameplay through Social Network Analysis: Analysing Serve, Side-Out, Side-Out Transition and Transition par Manuel Loureiro, Marta Hurst, Beatriz Valongo, Pantelis Nikolaidis, Lorenzo Laporta, José Afonso

Connect to this object online.

O goleiro de futebol: uma visão a partir da praxiologia motriz par Cesar Vieira Marques Filho, Antonio Guilherme Schmitz Filho, Otávio Baggioto Bettega, João Francisco Magno Ribas

Connect to this object online.