Jonathan Fleischmann

According to our database¹, Jonathan Fleischmann authored at least 4 papers between 2007 and 2015.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2015

Chrono: An Open Source Multi-physics Dynamics Engine.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing in Science and Engineering, 2015

2010

Syntactic Preservation Theorems for Intuitionistic Predicate Logic.

[BibT_eX]

[DOI]

Jonathan Fleischmann

Notre Dame J. Formal Log., 2010

2008

Quantifier Elimination for a Class of Intuitionistic Theories.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2008

2007

Kripke submodels and universal sentences.

[BibT_eX]

[DOI]

Math. Log. Q., 2007

Jonathan Fleischmann

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...