A universal algorithm for Krull's theorem von Powell, Thomas, Schuster, Peter, Wiesnet, Franziskus

Volltext

On double sum generating functions in connection with some classical partition theorems von Uncu, Ali Kemal

Volltext

Effective cylindrical cell decompositions for restricted sub-Pfaffian sets von Binyamini, Gal, Vorobjov, Nicolai

Volltext

A Subatomic Proof System for Decision Trees von Barrett, Chris, Guglielmi, Alessio

Volltext

Composing dinatural transformations: Towards a calculus of substitution von McCusker, Guy, Santamaria, Alessio

Volltext

Weighted models for higher-order computation von Laird, James

Volltext

Identifying the parametric occurrence of multiple steady states for some biological networks von Bradford, Russell, Davenport, James H., England, Matthew, Errami, Hassan, Gerdt, Vladimir, Grigoriev, Dima, Hoyt, Charles, Košta, Marek, Radulescu, Ovidiu, Sturm, Thomas, Weber, Andreas

Volltext

Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism von Laird, James

Volltext

Revisiting Decidable Bounded Quantification, via Dinaturality von Laird, James

Volltext

Complexity of deciding whether a tropical linear prevariety is a tropical variety von Grigoriev, Dima, Vorobjov, Nicolai

Volltext

A History Based Logic for Dynamic Preference Updates von McCusker, Guy, Baskent, Can

Volltext

A Compositional Cost Model for the λ-calculus von Laird, James

Volltext

Regular cylindrical algebraic decomposition von Davenport, James, Locatelli, Acyr, Sankaran, Gregory

Volltext

Subatomic Proof Systems: Splittable Systems von Aler Tubella, Andrea, Guglielmi, Alessio

Volltext

A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λμ-Calculus von Department of Computer Science, Mathematical Foundations of Computation

Volltext

Topological lower bounds for arithmetic networks von Gabrielov, Andrei, Vorobjov, Nicolai

Volltext

Intuitionistic proofs without syntax von Heijltjes, Willem, Hughes, Dominic, Strassburger, Lutz

Volltext

Efficient characterisation of large deviations using population dynamics von Brewer, Tobias, Clark, Stephen R., Bradford, Russell, Jack, Robert L.

Volltext

Triangulations of monotone families I: two-dimensional families von Basu, Saugata, Gabrielov, Andrei, Vorobjov, Nicolai

Volltext

Game semantics for a polymorphic programming language von Laird, J.

Volltext