Complete Graphical Language for Hermiticity-Preserving Superoperators.

Titouan Carette Timothée Hoffreumon Émile Larroque Renaud Vilmart

Published in: LICS (2023)

Keyphrases

natural language
programming language
language learning
closed world
query language for xml
language processing
target language
specification language
databases
neural network
artificial intelligence
knowledge representation
software engineering
first order logic