Pages that link to "Item:Q1574969"
From MaRDI portal
The following pages link to CATS 2000 Computing: the Australasian theory symposium, Canberra, Australia, February 1--2, 2000 (Q1574969):
Displaying 4 items.
- Theoretical computer science in Australia and New Zealand. 2nd meeting, Melbourne, Australia, 1996 (Q1369230) (← links)
- Special issue: Australasian computing theory. Selected papers from the Australasian theory symposium, Australian National University, Canberra, Australia, February 2000. (Q1434857) (← links)
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
- (Q5746583) (← links)