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

Fingerprint Dive into the research topics where Peter Schneider-Kamp is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Sorting
Logic programming
Theorem proving
Polynomials
Acoustic waves
Repair
Experiments
Systems analysis
Internet
Computer programming languages
High level languages
Processing
Websites
Coloring
Graphical user interfaces
Cryptography
Support vector machines
Software engineering
Semantics
Data storage equipment
Color
Neural networks
Unmanned aerial vehicles (UAV)
Networks (circuits)
Servers
Information systems
Decomposition
Energy resources
Ontology
Drones

Mathematics

Sorting Networks
Termination
Logic Programs
Term Rewriting
Sorting
Integrity Constraints
Optimality
Polynomial
Rewriting
Sorting algorithm
Unary
Knowledge Base
Term
Strings
Repair
Quicksort
Preprocessing
Sort
Signature
Prolog
Reasoning
Symmetry