Browse By Publication: ACM Transactions on Computational Logic

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Volume | Authors/Creators
Number of items: 1.

Ignjatovic, Aleksandar & Sharma, Arun (2004) Some applications of logic to feasibility in higher types. ACM Transactions on Computational Logic, 5(2), pp. 332-350.
Number of citations in Scopus 1

This list was generated on Sun Apr 16 13:14:58 2017 AEST.