Mathematics
Logic Programming
64%
Prolog
54%
Programming Languages
31%
Logic
29%
Specification
28%
Unification
24%
Higher Order
23%
Reasoning
20%
Term
20%
Notation
18%
Language
16%
Abstract Machines
13%
Syntax
13%
Substitution
12%
Abstraction
11%
Intuitionistic Logic
11%
Judgment
11%
Higher-order Logic
11%
Encoding
9%
Context
8%
Structural Operational Semantics
8%
Programming
8%
Calculus
7%
Classical Logic
7%
Compiler
7%
Horn clause
7%
Animation
7%
Interpretation
6%
Concurrent Systems
6%
Module
6%
Categorical or nominal
6%
Quantifiers
6%
Typed lambda Calculus
6%
Form
5%
Deduction
5%
Prefix
5%
Inference Rules
5%
Framework
5%
Object
5%
Lambda Calculus
5%
Trade-offs
5%
Correspondence
5%
Engineering & Materials Science
Logic programming
100%
Computer programming languages
52%
Specifications
45%
Substitution reactions
39%
Semantics
25%
Polymorphism
18%
Acoustic waves
8%
Computational linguistics
7%
Schematic diagrams
5%
Specification languages
5%
Animation
5%