Login / Signup

Finkel Was Right: Counter-Examples to Several Conjectures on Variants of Vector Addition Systems (Invited Talk).

Ranko Lazic
Published in: FSTTCS (2019)
Keyphrases
  • invited talk
  • counter examples
  • distributed systems
  • database
  • learning systems
  • high level
  • computational intelligence