Fingerprint
Dive into the research topics of 'Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them
Chitta Baral, Juraj Dzifcak, Marcos A. Gonzalez, Aaron Gottesman
Research output: Contribution to journal › Article › peer-review
3
Scopus
citations