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

Fingerprint Fingerprint is based on mining the text of the person's research documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Mathematics

Monads
Term
Coalgebra
Logic Programming
Operational Semantics
Lambda Calculus
Distributive law
Category Theory
Signature
Formulation
High-dimensional
Refinement
Countable
Universal Algebra
Algebra
Logic Programs
Recursion
Enriched Category
Cartesian
Closed
Computer Science
Model
Programming Languages
Substitution
Game Semantics
Semantics
Diagram
Theorem Proving
Ordered Categories
Logic
Completeness
Schedule
Functor
Tensor
Reasoning
Continuation
Algebraic Structure
Distributivity
Soundness
Modeling
Visual Languages
Transition Systems
Nondeterminism
Statecharts
Presheaves
Canonical Model
Correspondence
Geometric Modeling
Arbitrary
Graph in graph theory

Engineering & Materials Science

Semantics
Algebra
Tensors
Logic programming
Computer programming languages
Computer science
Binders
Data structures
Theorem proving
Substitution reactions
Many valued logics
Acoustic waves
Visual languages
Linear algebra
Equalizers