Unique perfect matchings and proof nets.

Lê Thành Dung Nguyên

Published in: FSCD (2018)

Keyphrases

theorem proving
object recognition
theorem prover
databases
data mining
metadata
data structure
digital libraries