Formal Puiseux Series.

Published in: Arch. Formal Proofs (2021)

Keyphrases

formal model
formal specification
formal representation
data sets
neural network
social networks
website
web services
three dimensional
similarity measure
expert systems
relational databases
formal methods
formal analysis
operational semantics