Jonathan Verner

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 4

Top Topics

Order Statistics

Multiresolution

Projective Invariants

Edge Enhancement

Top Venues

Arch. Math. Log.

Notre Dame J. Formal Log.

Publications

Jonathan Verner, Anna Vernerová
PyVallex: A Processing System for Valency Lexicon Data. LREC (2020)
Miha E. Habic, Joel David Hamkins, Lukas Daniel Klausner, Jonathan Verner, Kameryn J. Williams
Set-theoretic blockchains. Arch. Math. Log. 58 (7-8) (2019)
Jörg Brendle, Barnabás Farkas, Jonathan Verner
Towers in filters, cardinal Invariants, and Luzin Type families. J. Symb. Log. 83 (3) (2018)
Radek Honzik, Jonathan Verner
A Lifting Argument for the Generalized Grigorieff Forcing. Notre Dame J. Formal Log. 57 (2) (2016)