Az arra jogosult személyek felhasználói bejelentkezés után megtekinthetik a dokumentumot.
Bejelentkezés
Az alábbi információk megadásával kérhet egy példányt a dokumentumból.
Formalisation of Applicative Matching Logic in the Coq Proof Assistant
A dokumentum erre az e-mail címre lesz elküldve.