Výsledky vyhledávání - "Logical Methods in Computer Science"

Modalities in homotopy type theory Autor Rijke, Egbert, Shulman, Michael, Spitters, Bas

“…Univalent homotopy type theory (HoTT) may be seen as a language for the category of $\infty$-groupoids. It is being developed as a new foundation for…”
Získat plný text

Shrub-depth: Capturing Height of Dense Graphs Autor Ganian, Robert, Hliněný, Petr, Nešetřil, Jaroslav, Obdržálek, Jan, de Mendez, Patrice Ossona

“…The recent increase of interest in the graph invariant called tree-depth and in its applications in algorithms and logic on graphs led to a natural question:…”
Získat plný text

Multimodal Dependent Type Theory Autor Gratzer, Daniel, Kavvos, G. A., Nuyts, Andreas, Birkedal, Lars

“…We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes,…”
Získat plný text

Coalgebraic Behavioral Metrics Autor Baldan, Paolo, Bonchi, Filippo, Kerstan, Henning, König, Barbara

“…We study different behavioral metrics, such as those arising from both branching and linear-time semantics, in a coalgebraic setting. Given a coalgebra…”
Získat plný text

A categorical semantics for causal structure Autor Kissinger, Aleks, Uijlen, Sander

“…We present a categorical construction for modelling causal structures within a general class of process theories that include the theory of classical…”
Získat plný text

Automata theory in nominal sets Autor Bojańczyk, Mikołaj, Klin, Bartek, Lasota, Sławomir

“…We study languages over infinite alphabets equipped with some structure that can be tested by recognizing automata. We develop a framework for studying such…”
Získat plný text

Handling Algebraic Effects Autor Plotkin, Gordon D, Pretnar, Matija

“…Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of…”
Získat plný text

Minimization and Canonization of GFG Transition-Based Automata Autor Radi, Bader Abu, Kupferman, Orna

“…While many applications of automata in formal methods can use nondeterministic automata, some applications, most notably synthesis, need deterministic or…”
Získat plný text

Good-for-games $\omega$-Pushdown Automata Autor Lehtinen, Karoliina, Zimmermann, Martin

“…We introduce good-for-games $\omega$-pushdown automata ($\omega$-GFG-PDA). These are automata whose nondeterminism can be resolved based on the input processed…”
Získat plný text

A theory of Automated Market Makers in DeFi Autor Bartoletti, Massimo, Chiang, James Hsin-yu, Lluch-Lafuente, Alberto

“…Automated market makers (AMMs) are one of the most prominent decentralized finance (DeFi) applications. AMMs allow users to trade different types of…”
Získat plný text

Completeness of the ZX-Calculus Autor Jeandel, Emmanuel, Perdrix, Simon, Vilmart, Renaud

“…The ZX-Calculus is a graphical language for diagrammatic reasoning in quantum mechanics and quantum information theory. It comes equipped with an equational…”
Získat plný text

On the algebraic structure of Weihrauch degrees Autor Brattka, Vasco, Pauly, Arno

“…We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of…”
Získat plný text

The Many-Worlds Calculus Autor Chardonnet, Kostia, de Visme, Marc, Valiron, Benoît, Vilmart, Renaud

“…In this paper, we explore the interaction between two monoidal structures: a multiplicative one, for the encoding of pairing, and an additive one, for the…”
Získat plný text

The height of piecewise-testable languages and the complexity of the logic of subwords Autor Karandikar, Prateek, Schnoebelen, Philippe

“…The height of a piecewise-testable language $L$ is the maximum length of the words needed to define $L$ by excluding and requiring given subwords. The height…”
Získat plný text

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems Autor Nenzi, L., Bartocci, E., Bortolussi, L., Loreti, M.

“…Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber) and physical components interacting through sensors and/or actuators. Computational…”
Získat plný text

The Shapley Value of Tuples in Query Answering Autor Livshits, Ester, Bertossi, Leopoldo, Kimelfeld, Benny, Sebag, Moshe

“…We investigate the application of the Shapley value to quantifying the contribution of a tuple to a query answer. The Shapley value is a widely known numerical…”
Získat plný text

Characterising memory in infinite games Autor Casares, Antonio, Ohlmann, Pierre

“…This paper is concerned with games of infinite duration played over potentially infinite graphs. Recently, Ohlmann (LICS 2022) presented a characterisation of…”
Získat plný text

Games Where You Can Play Optimally with Arena-Independent Finite Memory Autor Bouyer, Patricia, Roux, Stéphane Le, Oualhadj, Youssouf, Randour, Mickael, Vandenhove, Pierre

“…For decades, two-player (antagonistic) games on graphs have been a framework of choice for many important problems in theoretical computer science. A notorious…”
Získat plný text

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^$ is Even Harder Autor Fortin, Marie, Kuijer, Louwe B., Totzke, Patrick, Zimmermann, Martin

“…Temporal logics for the specification of information-flow properties are able to express relations between multiple executions of a system. The two most…”
Získat plný text

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL Autor Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.

“…In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city…”
Získat plný text