Jonathan Fleischmann

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 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.
Proceedings of the High Performance Computing in Science and Engineering, 2015

2010
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.
Notre Dame J. Formal Log., 2010

2008
Quantifier Elimination for a Class of Intuitionistic Theories.
Notre Dame J. Formal Log., 2008

2007
Kripke submodels and universal sentences.
Math. Log. Q., 2007


  Loading...