Jonathan Fleischmann

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 0

Top Topics

Image Segmentation

Relational Databases

Top Venues

Publications

Alessandro Tasora, Radu Serban, Hammad Mazhar, Arman Pazouki, Daniel Melanz, Jonathan Fleischmann, Michael Taylor, Hiroyuki Sugiyama, Dan Negrut
Chrono: An Open Source Multi-physics Dynamics Engine. HPCSE (2015)
Jonathan Fleischmann
Syntactic Preservation Theorems for Intuitionistic Predicate Logic. Notre Dame J. Formal Log. 51 (2) (2010)
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg
Quantifier Elimination for a Class of Intuitionistic Theories. Notre Dame J. Formal Log. 49 (3) (2008)
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg
Kripke submodels and universal sentences. Math. Log. Q. 53 (3) (2007)