Login / Signup

A Quantified Coalgebraic van Benthem Theorem.

Paul WildLutz Schröder
Published in: FoSSaCS (2021)
Keyphrases
  • von neumann
  • machine learning
  • high level
  • special case