A coinductive approach to proof search

Electronic Proceedings in Theoretical Computer Science, EPTCS

Conference Paper

R. Matthes

Publication

Year of publication: 2013

Volume: 126

Pages: 28-43

Identifiers

Other: 2-s2.0-84969549300

Locators

Alternative Titles