Schematic Polymorphism in the Abella Proof Assistant.

Gopalan Nadathur Yuting Wang

Published in: PPDP (2018)

Keyphrases

test bed
theorem proving
linear logic
genetic algorithm
databases
computer vision
three dimensional
object recognition
evolutionary algorithm
automated theorem proving
proof planning