( en | de | ru )

 

Disambiguation of "Blanchette, Jasmin Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Selected Extended Papers of ITP 2016: Preface.

, and . J. Autom. Reason., 62 (2): 169-170 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jasmin Christian Blanchette

Jasmin Blanchette

Jasmin Geserick

Synthese mesoskopisch organisierter Nanopartikel. Uni Ulm, (2009)

Jasmin Kuban

Jasmin Geppert

 

Other publications of authors with the same name

Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk).. CPP, page 1-13. ACM, (2019)A Formal Proof of the Expressiveness of Deep Learning., , and . J. Autom. Reason., 63 (2): 347-368 (2019)Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol., , , and . TTSS, volume 243 of Electronic Notes in Theoretical Computer Science, page 89-103. Elsevier, (2008)A verified prover based on ordered resolution., , and . CPP, page 152-165. ACM, (2019)Operations on Bounded Natural Functors., , and . Arch. Formal Proofs, (2017)Selected Extended Papers of ITP 2016: Preface., and . J. Autom. Reason., 62 (2): 169-170 (2019)Scalable Fine-Grained Proofs for Formula Processing., , , and . J. Autom. Reason., 64 (3): 485-510 (2020)An Open System Operational Semantics for an Object-Oriented and Component-Based Language., and . FACS, volume 215 of Electronic Notes in Theoretical Computer Science, page 151-169. Elsevier, (2007)Bindings as bounded natural functors., , , and . Proc. ACM Program. Lang., 3 (POPL): 22:1-22:34 (2019)Extending a Brainiac Prover to Lambda-Free Higher-Order Logic., , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 192-210. Springer, (2019)