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
Heriot-Watt University
Milad Niqui
Heriot-Watt University
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.4204/EPTCS.43.0