Keyphrases
Term Rewriting Systems
65%
Information Retrieval
60%
Rewriting System
55%
Reduction Strategies
46%
User Experience
40%
Check-worthiness
40%
Combinatory Reduction Systems
40%
Computability
40%
Authorship Attribution
40%
Tax Legislation
40%
Value Added Tax
40%
Frame Semantics
40%
Computable
36%
Translated Texts
35%
Real numbers
32%
Polynomial Time
31%
Fact-checking
30%
Cardinality
30%
Term Rewriting
26%
Subword
26%
High-order
24%
Baseline Classifiers
23%
Transfinite
22%
Complexity Hierarchy
22%
Complexity Classes
22%
Factuality
22%
Word Embedding
22%
Non-collision
20%
First-order
20%
Static Caching
20%
Posting List
20%
Automatic Identification
20%
Page Image
20%
Partition Lattice
20%
Power-law Distribution
20%
Sentence Embedding
20%
Antichain
20%
Irrational Algebraic number
20%
Experiential Information
20%
Team Participation
20%
Relevant Documents
20%
Search Results
20%
Political Debate
20%
Computational Biology
20%
Infinitary Term Rewriting
20%
Denotational Semantics
20%
Informative Term
20%
Compositional Specification
20%
Distributional Extension
20%
Language Design
20%
Computer Science
Term Rewriting Systems
93%
Complexity Class
82%
Syntactics
60%
Search Engine
46%
Recurrent Neural Network
46%
Constructors
43%
Programming Language
43%
Computability
40%
Time Complexity
40%
Deep Learning Method
40%
Polynomial Time
31%
Word Embedding
26%
Human Computer Interaction
24%
Language Modeling
20%
User Experience
20%
Equivalence Relation
20%
Hit Rate
20%
Labeling Scheme
20%
Support Vector Machine
20%
Rosser Property
20%
External Knowledge
20%
Neural Network Model
20%
Approximation (Algorithm)
20%
Data Program
20%
Arithmetical Hierarchy
20%
Allowed Access
20%
Sparsity
20%
Discriminative Power
20%
User Interface
20%
Testbed
20%
Metric Definition
20%
Convolutional Neural Network
20%
lambda-calculus
20%
Recursive Function
20%
Operational Semantics
20%
Usability Evaluation
20%
Generalizability
20%
Space Complexity
20%
Enterprise Resource Planning System
20%
Information Retrieval
20%
Knowledge Base
20%
Equivalence Class
20%
Web Page
20%
Logical Model
20%
Dynamical System
20%
Usability Issue
20%
Sufficient Condition
20%
Mathematics
Rewriting Systems
100%
Calculus
60%
Least Upper Bound
40%
Dynamical System
40%
Real Number
32%
Open Problem
30%
Total Computable Function
26%
Algebraic Number
20%
Antichain
20%
Transfinite
20%
Equivalence Relation
20%
Lattice
20%
Equivalence Class
20%
Sufficient Condition
20%
Programming Language
20%
Computability Theory
20%
Residuals
20%
Continuous Time Markov Chain
20%
Power Law Distribution
20%
Modulo
20%
Topological Dynamical System
20%
Undecidability
20%
Power Law
20%
Complexity Space
20%
