2006): Partial recursive functions in higher-order logic (0)

by Alexander Krauss
Venue:In Ulrich Furbach & Natarajan Shankar, editors: Automated Reasoning (IJCAR 2006), Lecture Notes in Artificial Intelligence 4130