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

interactive theorem prover

recursion

partiality

Author

Ana Bove

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Ekaterina Komendantskaya

Milad Niqui

Subject Categories

Computer Science

ISBN

2075-2180

More information

Created

10/8/2017