Sign in

Syntactic Completeness of Proper Display Calculi.

Jinsheng ChenGiuseppe GrecoAlessandra PalmigianoApostolos 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