| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Allan Ramsay 12 Allan Ramsay: Temporal Views as Abstract Relations. TIME 2002 : 116-123 11 Allan Ramsay, Helen Seville : What Did He Mean by That? AIMSA 2000 : 199-209 10 Allan Ramsay: Theorem Proving for Constructive lambda-Calculus. AIMSA 2000 : 69-79 9 Mary Cryan , Allan Ramsay: Constructing a Normal Form for Property Theory. CADE 1997 : 237-251 8 Allan Ramsay: Theorem Proving for Intensional Logic. Journal of Automated Reasoning 14 (2): 237-255 (1995) 7 Allan Ramsay: Generating Relevant Models. Journal of Automated Reasoning 7 (3): 359-368 (1991) 6 Allan Ramsay: Speech Act Therory and Epistemic Planning. AIMSA 1990 : 351-360 5 Allan Ramsay: Disjunction without Tears. Computational Linguistics 16 (3): 171-174 (1990) 4 Allan Ramsay: On Efficient Context Switching. The Computer Journal 28 (4): 375-378 (1985) 3 Allan Ramsay: Type-Checking in an Untyped Language. International Journal of Man-Machine Studies 20 (2): 157-167 (1984) 2 Allan Ramsay: A Distributed Programming Assistant. Software - Practice and Experience 13 (11): 983-992 (1983) 1 Allan Ramsay: An Environment for Developing Distributed Programs. ECAI 1982 : 85-90  DiSC'03 © 2003 Association for Computing Machinery |
