Login / Signup
Another Proof of Kasami's Theorem.
Hans Dobbertin
Published in:
Des. Codes Cryptogr. (1999)
Keyphrases
</>
interactive theorem proving
theorem proving
social networks
computer vision
linear logic
automated theorem proving
databases
information retrieval
database systems
data structure
theorem prover
logical rules
proof planning
intuitionistic logic