20162019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Jasmin Christian Blanchette is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Data structures
Surface mount technology
Recursive functions
Functional programming
Equivalence classes
Syntactics
Theorem proving
Computer programming languages
Substitution reactions
Processing
Image recognition
Specification languages
Experiments
Bioinformatics
Specifications

Mathematics

Higher-order Logic
Superposition
Higher Order
Calculus
Recursion
First-order
Axioms
Coinduction
Term
Formal Proof
Theorem Proving
Reasoning
Algorithms and Data Structures
Completeness
Path