bibliographer

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics Giorgi Japaridze Tue 31 March 2026
Well-quasi-orders on finite trees and transfinite sequences Alakh Dhruv Chopra Fedor Pakhomov Tue 24 March 2026
Hypersequent Calculi Have Ackermannian Complexity A.~R. Balasubramanian Vitor Greati Revantha Ramanayake Wed 25 February 2026
A Theory for Probabilistic Polynomial-Time Reasoning Lijie Chen Jiatu Li Igor C. Oliveira Ryan Williams Thu 12 February 2026
The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory Tom de Jong Nicolai Kraus Axel Ljungstrøm Sun 01 February 2026
Characterizations of monadically dependent tree-ordered weakly sparse structures Hector Buffière Yuquan Lin Jaroslav Nešetřil Patrice Ossona de Mendez Sebastian Siebertz Sat 24 January 2026
Existential Positive Transductions of Sparse Graphs Nikolas Mahlmann Sebastian Siebertz Sat 24 January 2026
Problems with fixpoints of polynomials of polynomials Cécilia Pradic Ian Price Sat 24 January 2026
MSO logic of the real order with the set quantifiers ranging over the Borel sets Mirna Dżamonja Fri 16 January 2026
Automatic Structures Achim Blumensath Erich Gradel Fri 31 October 2025
Simple Classes of Automatic Structures Achim Blumensath Thu 30 October 2025
Comodule Representations of Second-Order Functionals Danel Ahman Andrej Bauer Fri 25 April 2025
Polynomial-time Tractable Problems over the p-adic Numbers Arno Fehm Manuel Bodirsky Fri 25 April 2025
Programs as Singularities Daniel Murfet Will Troiani Thu 24 April 2025
Logical perspectives on learning statistical objects Aaron Anderson Michael Benedikt Sat 05 April 2025
The Parameterized Complexity of Learning Monadic Second-Order Logic Steffen van Bergerem Martin Grohe Nina Runde Fri 14 February 2025
On the Expansion of Monadic Second-Order Logic with Cantor-Bendixson Rank and Order Type Predicates Thomas Colcombet Alexander Rabinovich Fri 14 February 2025
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning David Baelde Adrien Koutsos Joseph Lallemand Fri 28 April 2023
Multitree automata that count Denis Lugiez Fri 03 March 2023
Computing Parameterized Invariants of Parameterized Petri Nets Javier Esparza Mikhail Raskin Christoph Welzel Wed 02 November 2022
Reasoning on Data Words over Numeric Domains Diego Figueira Anthony Widjaja Lin Mon 29 August 2022
A characterization of definability in the theory of real addition Alexis Bès Christian Choffrut Mon 15 February 2021
Finite Model Theory of the Triguarded Fragment and Related Logics Emanuel Kieroński Sebastian Rudolph Fri 22 January 2021
Quotients, inductive types, and quotient inductive types Marcelo P. Fiore Andrew M. Pitts S. C. Steenkamp Thu 21 January 2021
Positive first-order logic on words Denis Kuperberg Thu 07 January 2021
On the Expressiveness of Buchi Arithmetic Christoph Haase Jakub Różycki Fri 30 October 2020
A Unified Translation of Linear Temporal Logic to ømega-Automata Javier Esparza Jan Křetínský Salomon Sickert Sun 25 October 2020
Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties Christopher H. Broadbent Arnaud Carayol C. -H. Luke Ong Olivier Serre Sun 18 October 2020
Collapsible Pushdown Parity Games Christopher H. Broadbent Arnaud Carayol Matthew Hague Andrzej S. Murawski C. -H. Luke Ong Olivier Serre Sun 18 October 2020
Forbidden Induced Subgraphs and the Łoś-Tarski Theorem Yijia Chen Joerg Flum Tue 04 August 2020
Preservation Theorems Through the Lens of Topology Aliaume Lopez Tue 04 August 2020
On Effective Representations of Well Quasi-Orderings Simon Halfon Mon 13 April 2020
Model Checking Games Erich Gradel Wed 22 January 2020
Cosmological Lower Bound on the Circuit Complexity of a Small Problem in Logic Larry Stockmeyer Albert R. Meyer Wed 22 January 2020
On the Algebra of Logic C. S. Peirce Tue 21 January 2020
Logics for Word Transductions with Synthesis Luc Dartois Emmanuel Filiot Nathan Lhote Fri 12 October 2018
Complexity of Two-Variable Logic on Finite Trees Saguy Benaim Michael Benedikt Witold Charatonik Emanuel Kieroński Rastislav Lenhardt Filip Mazowiecki James Worrell Tue 27 June 2017
What Sequential Games, the Tychonoff Theorem and the Double-negation Shift Have in Common Martín Escardó Paulo Oliva Tue 28 March 2017
A logical approach to grammar description Lionel Clément Jérôme Kirman Sylvain Salvati Thu 24 March 2016

Library Size: 13G (39 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]