Syntactic Completeness of Proper Display Calculi.

Jinsheng Chen Giuseppe Greco Alessandra Palmigiano Apostolos Tzimoulis

Published in: ACM Trans. Comput. Log. (2022)

Keyphrases

natural language
information systems
real time
data sets
machine learning
higher level
neural network
data quality
semantic role labeling
liquid crystal displays