Daniel McNeill

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 1

Top Topics

Cut Elimination

Multiresolution

Spectral Images

Top Venues

Ann. Pure Appl. Log.

Publications

Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini
Tarski's theorem on intuitionistic logic, for polyhedra. Ann. Pure Appl. Log. 169 (5) (2018)
Vincenzo Marra, Daniel McNeill, Andrea Pedrini
Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2. TACL (2013)
Vincenzo Marra, Daniel McNeill, Andrea Pedrini
Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1. TACL (2013)