The Cartesian Closed Bicategory of Thin Spans of Groupoids (Englisch)
- Neue Suche nach: Clairambault, Pierre
- Neue Suche nach: Forest, Simon
- Neue Suche nach: Clairambault, Pierre
- Neue Suche nach: Forest, Simon
In:
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
;
1-13
;
2023
-
ISBN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:The Cartesian Closed Bicategory of Thin Spans of Groupoids
-
Beteiligte:Clairambault, Pierre ( Autor:in ) / Forest, Simon ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE
-
Erscheinungsdatum:26.06.2023
-
Format / Umfang:1177792 byte
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fieldsBell, Jason P. / Smertnig, Daniel et al. | 2023
- 1
-
Verifying linear temporal specifications of constant-rate multi-mode systemsBlondin, Michael / Offtermatt, Philip / Sansfacon-Buchanan, Alex et al. | 2023
- 1
-
The Power of PositivityKarimov, Toghrul / Kelmendi, Edon / Nieuwveld, Joris / Ouaknine, Joel / Worrell, James et al. | 2023
- 1
-
Reachability in Injective Piecewise Affine MapsGhahremani, Faraz / Kelmendi, Edon / Ouaknine, Joel et al. | 2023
- 1
-
Semi-Simplicial Set Models for Distributed KnowledgeGoubault, Eric / Kniazev, Roman / Ledent, Jeremy / Rajsbaum, Sergio et al. | 2023
- 1
-
A categorical account of composition methods in logicJakl, Tomas / Marsden, Dan / Shah, Nihil et al. | 2023
- 1
-
Logic for Explainable AIDarwiche, Adnan et al. | 2023
- 1
-
Fully Abstract Normal Form Bisimulation for Call-by-Value PCFKoutavas, Vasileios / Lin, Yu-Yang / Tzevelekos, Nikos et al. | 2023
- 1
-
Fixed Point Logics on Hemimetric SpacesFernandez-Duque, David / Gougeon, Quentin et al. | 2023
- 1
-
Orbit-finite linear programmingGhosh, Arka / Hofman, Piotr / Lasota, Slawomir et al. | 2023
- 1
-
Commutativity in Automated VerificationFarzan, Azadeh et al. | 2023
- 1
-
Cut-Restriction: From Cuts to Analytic CutsCiabattoni, Agata / Lang, Timo / Ramanayake, Revantha et al. | 2023
- 1
-
Simulating Logspace-Recursion with Logarithmic Quantifier Depthvan Bergerem, Steffen / Grohe, Martin / Kiefer, Sandra / Oeljeklaus, Luca et al. | 2023
- 1
-
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculusPoor, Boldizsar / Wang, Quanlong / Shaikh, Razin A. / Yeh, Lia / Yeung, Richie / Coecke, Bob et al. | 2023
- 1
-
Intuitionistic S4 is decidableGirlando, Marianna / Kuznets, Roman / Marin, Sonia / Morales, Marianela / Strasburger, Lutz et al. | 2023
- 1
-
Fixpoint operators for 2-categorical structuresGalal, Zeinab et al. | 2023
- 1
-
Set-Theoretic and Type-Theoretic Ordinals Coincidede Jong, Tom / Kraus, Nicolai / Forsberg, Fredrik Nordvall / Xu, Chuangjie et al. | 2023
- 1
-
PDL on Steroids: on Expressive Extensions of PDL with Intersection and ConverseFigueira, Diego / Figueira, Santiago / Pin, Edwin et al. | 2023
- 1
-
Group Separation Strikes BackPlace, Thomas / Zeitoun, Marc et al. | 2023
- 1
-
ℤ-polyregular functionsColcombet, Thomas / Doueneau-Tabot, Gaetan / Lopez, Aliaume et al. | 2023
- 1
-
Pseudorandom Finite ModelsDreier, Jan / Tucker-Foltz, Jamie et al. | 2023
- 1
-
Symmetries of Graphs and Structures that Fail to Interpret a Finite ThingBarto, Libor / Bodor, Bertalan / Kozik, Marcin / Mottet, Antoine / Pinsker, Michael et al. | 2023
- 1
-
Deterministic stream-sampling for probabilistic programming: semantics and verificationDahlqvist, Fredrik / Silva, Alexandra / Smith, William et al. | 2023
- 1
-
Embedded Finite Models beyond Restricted Quantifier CollapseBenedikt, Michael / Hrushovski, Ehud et al. | 2023
- 1
-
A Complete Equational Theory for Quantum Circuits| 2023
- 1
-
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*Monica, Dario Della / Montanari, Angelo / Puppis, Gabriele / Sala, Pietro et al. | 2023
- 1
-
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBFFichte, Johannes K. / Ganian, Robert / Hecher, Markus / Slivovsky, Friedrich / Ordyniak, Sebastian et al. | 2023
- 1
-
Weak Similarity in Higher-Order Mathematical Operational SemanticsUrbat, Henning / Tsampas, Stelios / Goncharov, Sergey / Milius, Stefan / Schroder, Lutz et al. | 2023
- 1
-
Distal Combinatorial Tools for Graphs of Bounded Twin-WidthPrzybyszewski, Wojciech et al. | 2023
- 1
-
Higher-Dimensional Subdiagram MatchingHadzihasanovic, Amar / Kessler, Diana et al. | 2023
- 1
-
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable ProgramsHuot, Mathieu / Lew, Alexander K. / Mansinghka, Vikash K. / Staton, Sam et al. | 2023
- 1
-
Stochastic Best-Effort Strategies for Borel GoalsAminof, Benjamin / De Giacomo, Giuseppe / Rubin, Sasha / Zuleger, Florian et al. | 2023
- 1
-
A system of inference based on proof search: an extended abstractMiller, Dale et al. | 2023
- 1
-
On Exact Sampling in the Two-Variable Fragment of First-Order LogicWang, Yuanhong / Pu, Juhua / Wang, Yuyi / Kuzelka, Ondrej et al. | 2023
- 1
-
From Thin Concurrent Games to Generalized Species of StructuresClairambault, Pierre / Olimpieri, Federico / Paquet, Hugo et al. | 2023
- 1
-
Central Submonads and Notions of Computation: Soundness, Completeness and Internal LanguagesCarette, Titouan / Lemonnier, Louis / Zamdzhiev, Vladimir et al. | 2023
- 1
-
Automatic Amortized Resource Analysis with Regular Recursive TypesGrosen, Jessie / Kahn, David M. / Hoffmann, Jan et al. | 2023
- 1
-
Taylor Expansion as a Monad in Models of DiLLKerjean, Marie / Lemay, Jean-Simon Pacaud et al. | 2023
- 1
-
The Identity Problem in the special affine group of Z2Dong, Ruiwen et al. | 2023
- 1
-
Computational expressivity of (circular) proofs with fixed pointsCurzi, Gianluca / Das, Anupam et al. | 2023
- 1
-
On the Growth Rates of Polyregular FunctionsBojanczyk, Mikolaj et al. | 2023
- 1
-
Extensional and Non-extensional Functions as ProcessesSakayori, Ken / Sangiorgi, Davide et al. | 2023
- 1
-
Revisiting Membership Problems in Subclasses of Rational RelationsBergstraser, Pascal / Ganardi, Moses et al. | 2023
- 1
-
The Iteration Number of the Weisfeiler-Leman AlgorithmGrohe, Martin / Lichter, Moritz / Neuen, Daniel et al. | 2023
- 1
-
Quantifying Over Trees in Monadic Second-Order LogicBenerecetti, Massimo / Bozzelli, Laura / Mogavero, Fabio / Peron, Adriano et al. | 2023
- 1
-
Multiplicity Problems on Algebraic Series and Context-Free GrammarsBalaji, Nikhil / Clemente, Lorenzo / Nosan, Klara / Shirmohammadi, Mahsa / Worrell, James et al. | 2023
- 1
-
Cartesian Coherent Differential CategoriesThomas, Ehrhard / Aymeric, Walch et al. | 2023
- 1
-
Making Concurrency FunctionalWinskel, Glynn et al. | 2023
- 1
-
Boolean symmetric vs. functional PCSP dichotomyNakajima, Tamio-Vesa / Zivny, Stanislav et al. | 2023
- 1
-
The Cartesian Closed Bicategory of Thin Spans of GroupoidsClairambault, Pierre / Forest, Simon et al. | 2023
- 1
-
The Probabilistic Rabin Tree Theorem*Niwinski, Damian / Parys, Pawel / Skrzypczak, Michal et al. | 2023
- 1
-
Complete Graphical Language for Hermiticity-Preserving SuperoperatorsCarette, Titouan / Hoffreumon, Timothee / Larroque, Emile / Vilmart, Renaud et al. | 2023
- 1
-
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown AutomataWinkler, Tobias / Katoen, Joost-Pieter et al. | 2023
- 1
-
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative ObjectivesKretinsky, Jan / Meggendorfer, Tobias / Weininger, Maximilian et al. | 2023
- 1
-
A Higher-Order Indistinguishability Logic for Cryptographic ReasoningBaelde, David / Koutsos, Adrien / Lallemand, Joseph et al. | 2023
- 1
-
Folding interpretationsBojanczyk, Mikolaj et al. | 2023
- 1
-
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)Daviaud, Laure / Purser, David et al. | 2023
- 1
-
Allegories of Symbolic ManipulationsGavazzo, Francesco et al. | 2023
- 1
-
Minimization of Dynamical Systems over MonoidsArgyris, Georgios / Lafuente, Alberto Lluch / Robayo, Alexander Leguizamon / Tribastone, Mirco / Tschaikowski, Max / Vandin, Andrea et al. | 2023
- 1
-
The Descriptive Complexity of Graph Neural NetworksGrohe, Martin et al. | 2023
- 1
-
Applications of Information Inequalities to Database Theory ProblemsSuciu, Dan et al. | 2023
- 1
-
Evidential Decision Theory via Partial Markov CategoriesDi Lavore, Elena / Roman, Mario et al. | 2023
- 1
-
A Metalanguage for Cost-Aware Denotational SemanticsNiu, Yue / Harper, Robert et al. | 2023
- 1
-
Operational Algorithmic Game SemanticsBunting, Benedict / Murawski, Andrzej S. et al. | 2023
- 1
-
Existential Calculi of Relations with Transitive Closure: Complexity and Edge SaturationsNakamura, Yoshiki et al. | 2023
- 1
-
Formalizing π4(S3) ≅Z/2Z and Computing a Brunerie Number in Cubical AgdaLjungstrom, Axel / Mortberg, Anders et al. | 2023
- 1
-
Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked TreesHellings, Jelle / Gyssens, Marc / Van Den Bussche, Jan / Van Gucht, Dirk et al. | 2023
- i
-
Front Matter| 2023