output
20152026
most citedA search for photons with energies above eV using hybrid data from the low-energy extensions of the Pierre Auger Observatory

44 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

3 papers · 1 filter

cs.LO2025★ 1 cited

On the consistency of stronger lower bounds for NEXP

Neil Thapen

It was recently shown by Atserias, Buss and Mueller that the standard complexity-theoretic conjecture NEXP not in P / poly is consistent with the relatively strong bounded arithmet…

cs.LO2024

One is all you need: Second-order Unification without First-order Variables

David M. Cerna, Julian Parsert

We introduce a fragment of second-order unification, referred to as \emph{Second-Order Ground Unification (SOGU)}, with the following properties: (i) only one second-order variable…

cs.LO2023★ 2 cited

Constructive validity of a generalized Kreisel-Putnam rule

Ivo Pezlar

In this paper, we propose a computational interpretation of the generalized Kreisel-Putnam rule, also known as the generalized Harrop rule or simply the Split rule, in the style of…