# Fingerprint Dive into the research topics where Department of Philosophy is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

- Sort by
- Weight
- Alphabetically

### Mathematics

Abstract Data Types

Algebraic Specification

Arbitrary

Assign

Axioms

Calculus

Characterization Theorem

Circle

Classical Logic

Collision

Completeness

Computational Model

Computer Science

Corollary

Correctness

Correspondence

Counterexample

Cryptographic Protocols

Cryptography

Cut-elimination

Diagram

Diffie-Hellman

Drugs

Euler

Finite Models

First-order

First-order Logic

Formal Analysis

Formal Model

Formal Semantics

Fragment

Game

Generalise

Graph in graph theory

Higher Order

Higher-order Logic

Hilbert

Inclusion

Independence Results

Inference Rules

Intuitionistic Logic

Knowledge Acquisition

Labeled Trees

Linear Logic

Logic

Modal Logic

Multiplicative

Natural Deduction

Natural number

Normalization

Ontology

Paradigm

Pattern Matching

Phase Space

Polynomial time

Predicate Logic

Probabilistic Methods

Probability Distribution

Proof Nets

Proof Search

Proposition

Query

Real-time

Reasoning

Recursion

Refinement

Resources

Schema

Security Analysis

Security Protocols

Semantics

Soundness

Specification Languages

Stochastic Processes

Strictly positive

Strong Normalization

Term

Theorem

Trace

Type Systems

### Engineering & Materials Science

Abstract data types

Cryptography

Demonstrations

Design of experiments

Drug interactions

Experiments

Human robot interaction

Knowledge acquisition

Linguistics

Logic programming

Network protocols

Ontology

Pattern matching

Polynomials

Probability distributions

Random processes

Robots

Semantics

Specification languages

Students

Substitution reactions

Syntactics