Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science.
Gianfranco BastiAntonio CapolupoGiuseppe VitielloPublished in: CoRR (2017)
Keyphrases
- theoretical computer science
- artificial intelligence
- computational learning theory
- learning theory
- quantum computation
- computer science
- logic circuits
- mathematical theory
- logic programming
- quantum computing
- pac learning
- formal theory
- set theory
- probability theory
- proof theory
- quantum mechanics
- logic synthesis
- active learning