Keyphrases
Temporal Logic
100%
Bisimulation Equivalence
52%
Continuous-time
36%
Basic Parallel Processes
32%
Biosimilarity
27%
Polynomial-time Algorithm
27%
Context-free
25%
Expressiveness
21%
Model Theory
21%
Function Symbols
21%
Petri Nets
21%
Meadow
21%
Non-deterministic
20%
Predicate Logic
19%
Monadic Logic
19%
Metric Temporal Logic
18%
Automata
18%
First-order
18%
Parallel Composition
18%
Bisimulation
16%
Polynomial Time
14%
Equivalence Problem
14%
Transition System
14%
Composition Operator
14%
Canonical Model
13%
Automata Theory
13%
Sublanguage
13%
Complete Axiomatization
12%
Weak Bisimulation
10%
Abstraction Classes
10%
Grammar
10%
Pushdown Automata
10%
Multiset Automata
10%
Axiomatizability
10%
Database Query Languages
10%
Function Names
10%
First-order Language
10%
Equational Specification
10%
N-systems
10%
Process Algebra
10%
Promptness
10%
Model-independent
10%
Prepositional Logic
10%
Probability Operators
10%
First-order Predicate Logic
10%
Fast Algorithm
10%
Relational Database
10%
Predicate Calculus
10%
First Order Predicates
10%
Doubly Exponential
10%
Computer Science
Temporal Logic
97%
Parallel Process
32%
Subclasses
27%
Continuous Time
25%
Predicate Logic
24%
Parallel Composition
24%
Axiomatization
21%
Function Symbol
21%
Automaton
21%
Petri Net
21%
Canonical Model
16%
Equivalence Problem
16%
Polynomial Time
16%
Automata Theory
16%
Polynomial Algorithm
16%
polynomial-time algorithm
16%
Transition System
13%
Predicate Calculus
10%
Pushdown Automaton
10%
Variability Model
10%
Knowledge Base
10%
Equivalence Checking
10%
Halting Problem
10%
Fast Algorithm
10%
Process Algebra
10%
Order Predicate Logic
10%
Prepositional Logic
10%
Relational Database
10%
Software Design
10%
Time Complexity
10%
Theoretic Tool
10%
Computable Function
10%
Exist Algorithm
10%
Turing Machine
10%
Query Language
10%
Liveness Property
6%
Wait Time
6%
Short Distance
5%
Positive Real Line
5%
Mathematics
Temporal Logic
75%
Decidability
43%
Real Line
34%
Continuous Time
21%
Canonical Model
16%
File Format
16%
Unit Time
12%
Expressiveness
10%
Probability Theory
10%
Process Algebra
10%
Nonstandard Analysis
10%
Fast Algorithm
10%
Form Formula
10%
Polynomial Time
10%
Conditionals
10%
Combinatorics
10%
Division Ring
10%
Number System
10%
Complex Number
10%
Rational Number
10%
Composition Operator
9%
Polynomial
5%
Total Function
5%
Inverse Operation
5%
Universal Algebra
5%
Inverse Operator
5%
Exponential Time
5%
Concludes
5%
Representation Theorem
5%
Compactness Theorem
5%
Commutative Ring
5%
Ultrafilter
5%
Compactifications
5%
Von Neumann
5%
