Proceedings of the workshop on Partiality and Recursion in Interactive Theorem Provers
Bok, 2010

interactive theorem prover

recursion

partiality

Författare

Ana Bove

Chalmers, Data- och informationsteknik, Datavetenskap

Ekaterina Komendantskaya

Milad Niqui

Ämneskategorier

Datavetenskap (datalogi)

ISBN

2075-2180

Mer information

Skapat

2017-10-08