Proof Repair Across Type Equivalences.

Talia Ringer RanDair Porter Nathaniel Yazdani John Leo Dan Grossman

Published in: CoRR (2020)

Keyphrases

knowledge base
digital libraries
information technology
special case
connected components
database
real time
databases
information systems
web services
programming language