Back to Search Start Over

Extensionality of Simply Typed Logic Programs.

Authors :
Bezem, Marc
Source :
Logic Programming (9780262291118); 1999, p395-410, 16p
Publication Year :
1999

Details

Language :
English
ISBNs :
9780262291118
Database :
Complementary Index
Journal :
Logic Programming (9780262291118)
Publication Type :
Book
Accession number :
100645687

Tools

Authors Abstract Subjects Details