0 | -- | 0 | Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini. On Sessions and Infinite Data |
0 | -- | 0 | Bart Jacobs 0001. A Recipe for State-and-Effect Triangles |
0 | -- | 0 | Julian Nagele, Bertram Felgenhauer, Harald Zankl. Certifying Confluence Proofs via Relative Termination and Rule Labeling |
0 | -- | 0 | Michael Lieberman, Jirí Rosický. Hanf numbers via accessible images |
0 | -- | 0 | Hans-E. Porst. Hopf and Lie algebras in semi-additive Varieties |
0 | -- | 0 | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida. On the Preciseness of Subtyping in Session Types |
0 | -- | 0 | David Baelde, Stéphanie Delaune, Lucca Hirschi. A Reduced Semantics for Deciding Trace Equivalence |
0 | -- | 0 | Krishnendu Chatterjee, Zuzana Kretínská, Jan Kretínský. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes |
0 | -- | 0 | Sebastian Enqvist, Fatemeh Seifan, Yde Venema. An expressive completeness theorem for coalgebraic modal mu-calculi |
0 | -- | 0 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare. On-the-Fly Computation of Bisimilarity Distances |
0 | -- | 0 | Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla. Feasible Interpolation for QBF Resolution Calculi |
0 | -- | 0 | Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo. Deriving Probability Density Functions from Probabilistic Functional Programs |
0 | -- | 0 | Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl. Inter-procedural Two-Variable Herbrand Equalities |
0 | -- | 0 | Robin Hirsch, Brett McLean. Disjoint-union partial algebras |