Computer science
Programming language
Concurrent constraint logic programming
Semantics (computer science)
Operational semantics
Determinism
Probabilistic logic
Process calculus
Constraint (computer-aided design)
Theoretical computer science
Concurrency
Constraint logic programming
Logic programming
Constraint satisfaction
Artificial intelligence
Mathematics
Physics
Geometry
Quantum mechanics
