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

Mer information

Senast uppdaterat

2020-08-27