Authors: LAFONT Y SCEDROV A

Citation: Y. Lafont et A. Scedrov, THE UNDECIDABILITY OF 2ND-ORDER MULTIPLICATIVE LINEAR LOGIC, Information and computation, 125(1), 1996, pp. 46-51

Authors: SCEDROV A DETURK D ZILLER W

Citation: A. Scedrov et al., ALIMOHAMED,MOEZ, 1967-1994 - OBITUARY, Theoretical computer science, 146(1-2), 1995, pp. 1-3

Authors: CARDELLI L MARTINI S MITCHELL JC SCEDROV A

Citation: L. Cardelli et al., AN EXTENSION OF SYSTEM-F WITH SUBTYPING, Information and computation, 109(1-2), 1994, pp. 4-56

Authors: LINCOLN P SCEDROV A

Citation: P. Lincoln et A. Scedrov, 1ST-ORDER LINEAR LOGIC WITHOUT MODALITIES IS NEXPTIME-HARD, Theoretical computer science, 135(1), 1994, pp. 139-153

Authors: SCEDROV A

Citation: A. Scedrov, SPECIAL ISSUE - INVITED PAPERS PRESENTED AT THE 1992 IEEE SYMPOSIUM ON LOGIC IN COMPUTER-SCIENCE - PREFACE, Annals of pure and applied Logic, 69(2-3), 1994, pp. 133-133