0 | -- | 0 | Bader Abu Radi, Orna Kupferman. Minimization and Canonization of GFG Transition-Based Automata |
0 | -- | 0 | Thorsten Wißmann. Minimality Notions via Factorization Systems and Examples |
0 | -- | 0 | Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi. Comparator automata in quantitative verification |
0 | -- | 0 | Peng Fu 0001, Kohei Kishida, Peter Selinger. Linear Dependent Type Theory for Quantum Programming Languages |
0 | -- | 0 | Andrej Bauer. Instance reducibility and Weihrauch degrees |
0 | -- | 0 | Ming Ng, Steven Vickers. Point-free Construction of Real Exponentiation |
0 | -- | 0 | Eike Neumann. Uniform Envelopes |
0 | -- | 0 | Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai. A Functional Abstraction of Typed Invocation Contexts |
0 | -- | 0 | Thomas Ehrhard. Differentials and distances in probabilistic coherence spaces |
0 | -- | 0 | Alejandro Díaz-Caro, Octavio Malherbe. Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model |
0 | -- | 0 | M. Clarence Protin, Gilda Ferreira. Typability and Type Inference in Atomic Polymorphism |
0 | -- | 0 | Luca Ciccone, Luca Padovani. Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types |
0 | -- | 0 | Hannes Saffrich, Peter Thiemann 0001. Relating Functional and Imperative Session Types |
0 | -- | 0 | Hugo Gimbert. Distributed Asynchronous Games With Causal Memory are Undecidable |
0 | -- | 0 | Hannes Diener, Matthew Hendtlass. The Third Trick |
0 | -- | 0 | Andrew Polonsky, Richard Statman. On sets of terms having a given intersection type |
0 | -- | 0 | Jim de Groot, Dirk Pattinson. Modal meet-implication logic |
0 | -- | 0 | Franziskus Wiesnet, Nils Köpp. Limits of real numbers in the binary signed digit representation |
0 | -- | 0 | André Hirschowitz, Tom Hirschowitz, Ambroise Lafont. Modules over monads and operational semantics (expanded version) |
0 | -- | 0 | Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto. Addressing Machines as models of lambda-calculus |
0 | -- | 0 | Thomas Colcombet, Nathanaël Fijalkow, Pawel Gawrychowski, Pierre Ohlmann. The Theory of Universal Graphs for Infinite Duration Games |
0 | -- | 0 | Wilmer Ricciotti, James Cheney. Strongly-Normalizing Higher-Order Relational Queries |
0 | -- | 0 | Mirai Ikebuchi. A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods |
0 | -- | 0 | Alexandr Kazda, Peter Mayr, Dmitriy Zhuk. Small Promise CSPs that reduce to large CSPs |
0 | -- | 0 | Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett. Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays |
0 | -- | 0 | Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná. Timed Automata Robustness Analysis via Model Checking |
0 | -- | 0 | Michele Chiari, Dino Mandrioli, Matteo Pradella. A First-Order Complete Temporal Logic for Structured Context-Free Languages |
0 | -- | 0 | Benjamin Bisping, David N. Jansen, Uwe Nestmann. Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy |
0 | -- | 0 | Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim. Modularising Verification Of Durable Opacity |
0 | -- | 0 | Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot. A Coalgebraic Approach to Dualities for Neighborhood Frames |
0 | -- | 0 | Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier. Computability of Data-Word Transductions over Different Data Domains |
0 | -- | 0 | Nathan Grosshans, Pierre McKenzie, Luc Segoufin. Tameness and the power of programs over monoids in DA |
0 | -- | 0 | Marta Bílková, Matej Dostál. Moss' logic for ordered coalgebras |
0 | -- | 0 | Bartosz Bednarczyk, Stéphane Demri. Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? |
0 | -- | 0 | Tom Hirschowitz, Ambroise Lafont. A categorical framework for congruence of applicative bisimilarity in higher-order languages |
0 | -- | 0 | Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege. One-Clock Priced Timed Games with Negative Weights |
0 | -- | 0 | Jeff Erickson 0001, Gabriel Nivasch, Junyan Xu. Fusible numbers and Peano Arithmetic |