A. Scedrov
发表
Thierry Coquand,
Val Tannen,
Carl A. Gunter,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
John C. Mitchell,
Patrick Lincoln,
Andre Scedrov,
1999,
World Congress on Formal Methods.
Limin Jia,
Boon Thau Loo,
Vivek Nigam,
2011,
Comput. Lang. Syst. Struct..
Max I. Kanovich,
Andre Scedrov,
Mitsuhiro Okada,
2003,
MFPS.
H. Friedman,
A. Scedrov,
1985
.
I. Lee,
A. Scedrov,
A. Gunter,
2007
.
A. Scedrov,
1985
.
A. Scedrov,
1990
.
F. Schneider,
A. Scedrov,
M. Alvim,
2013
.
Andre Scedrov,
Bruno Blanchet,
Aaron D. Jaggard,
2009
.
Harvey M. Friedman,
H. Friedman,
A. Scedrov,
1985
.
A. Scedrov,
Andrej Scedrov,
1982
.
A. Scedrov,
Andrej Ščedrov,
1981
.
Tajana Ban Kirigin,
Musab A. Alturki,
C. Talcott,
2018
.
Tajana Ban Kirigin,
Vivek Nigam,
Andre Scedrov,
2016
.
Tajana Ban Kirigin,
A. Scedrov,
S. Ghilezan,
2016
.
B. T. Loo,
A. Scedrov,
Vivek Nigam,
2016
.
Tajana Ban Kirigin,
C. Talcott,
A. Scedrov,
2014
.
Andre Scedrov,
A. Scedrov,
1995
.
A. Scedrov,
I. Cervesato,
M. Kanovich,
2000
.
A. Scedrov,
2001
.
A. Scedrov,
B. Blanchet,
A. D. Jaggard,
2007
.
Natarajan Shankar,
Patrick Lincoln,
Andre Scedrov,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
A. Scedrov,
S. E.,
TransformationsJean,
1992
.
Andre Scedrov,
Iliano Cervesato,
Aaron D. Jaggard,
2006,
Information and Computation.
A. Scedrov,
B. Blanchet,
A. D. Jaggard,
2007
.
John C. Mitchell,
N. Shankar,
P. Lincoln,
1990,
FOCS.
A. Scedrov,
I. Cervesato,
M. Kanovich,
2007
.
Tajana Ban Kirigin,
Musab A. Alturki,
C. Talcott,
2022,
SN Computer Science.
Akinori Yonezawa,
Benjamin C. Pierce,
Hideyuki Tokuda,
2002
.
A. Scedrov,
1987
.
Anil Nerode,
Jeffrey B. Remmel,
Andre Scedrov,
1989,
LICS 1989.
A. Scedrov,
R. Stankovi,
Zoran Ognjanovi,
2017
.
Andre Scedrov,
Peter J. Freyd,
P. Freyd,
1990,
North-Holland mathematical library.
Limin Jia,
Boon Thau Loo,
Andre Scedrov,
2011
.
John C. Mitchell,
G. Barthe,
A. Scedrov,
2018,
Journal of Cryptology.
Michael Backes,
Andre Scedrov,
Iliano Cervesato,
2006,
International Journal of Information Security.
Jonathan Herzog,
Andre Scedrov,
Gergei Bana,
2009,
J. Comput. Secur..
Birgit Pfitzmann,
Michael Backes,
Andre Scedrov,
2008,
J. Comput. Secur..
Birgit Pfitzmann,
Michael Backes,
Andre Scedrov,
2007,
20th IEEE Computer Security Foundations Symposium (CSF'07).
Andre Scedrov,
Gergei Bana,
Pedro Adão,
2005,
18th IEEE Computer Security Foundations Workshop (CSFW'05).
John C. Mitchell,
Vanessa Teague,
Andre Scedrov,
2005,
Theor. Comput. Sci..
John C. Mitchell,
Vanessa Teague,
Andre Scedrov,
2004,
FoSSaCS.
John C. Mitchell,
Vanessa Teague,
Andre Scedrov,
2001,
MFPS.
John C. Mitchell,
Vanessa Teague,
Andre Scedrov,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
John C. Mitchell,
Patrick Lincoln,
Andre Scedrov,
1998,
CCS '98.
Andre Scedrov,
Iliano Cervesato,
Aaron D. Jaggard,
2006,
Theor. Comput. Sci..
Carolyn L. Talcott,
Boon Thau Loo,
Andre Scedrov,
2014,
IEEE INFOCOM 2014 - IEEE Conference on Computer Communications.
Boon Thau Loo,
Andre Scedrov,
Anduo Wang,
2013
.
Carolyn L. Talcott,
Boon Thau Loo,
Andre Scedrov,
2012,
PODC '12.
Gopalan Nadathur,
Dale Miller,
Frank Pfenning,
1991,
Ann. Pure Appl. Log..
Andre Scedrov,
Stepan Kuznetsov,
Max Kanovich,
2020,
Inf. Comput..
A. Scedrov,
M. Kanovich,
S. Kuznetsov,
2021,
Studies in Computational Intelligence.
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
pdf
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2016,
J. Log. Comput..
Vivek Nigam,
Andre Scedrov,
Stepan Kuznetsov,
2017,
Mathematical Structures in Computer Science.
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2015,
FG.
Natarajan Shankar,
John C. Mitchell,
Patrick Lincoln,
1990,
Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
N. Shankar,
P. Lincoln,
A. Scedrov,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Patrick Lincoln,
Andre Scedrov,
P. Lincoln,
1994,
Theor. Comput. Sci..
Andre Scedrov,
A. Scedrov,
1990,
Bull. EATCS.
Andre Scedrov,
Iliano Cervesato,
Aaron D. Jaggard,
2005,
WITS '05.
Andre Scedrov,
Philip J. Scott,
Peter Freyd,
1990
.
Luca Cardelli,
John C. Mitchell,
Andre Scedrov,
1991,
TACS.
Thierry Coquand,
Val Tannen,
Carl A. Gunter,
1991,
Inf. Comput..
Thierry Coquand,
Carl A. Gunter,
Andre Scedrov,
1991
.
Val Tannen,
Carl A. Gunter,
Andre Scedrov,
1989
.
Thierry Coquand,
Val Tannen,
Carl A. Gunter,
1989,
LICS 1989.
Val Tannen,
Carl A. Gunter,
Andre Scedrov,
1989
.
Val Tannen,
Carl A. Gunter,
Andre Scedrov,
1990,
LISP and Functional Programming.
John C. Mitchell,
Andre Scedrov,
Ajith Ramanathan,
2006,
TCC.
Max I. Kanovich,
Andre Scedrov,
Mitsuhiro Okada,
1998,
COTIC.
J. M. Smith,
J. Feigenbaum,
P. Lincoln,
2003
.
Andre Scedrov,
Iliano Cervesato,
A. Scedrov,
2006,
WoLLIC.
John C. Mitchell,
Patrick Lincoln,
Andre Scedrov,
2004
.
Andre Scedrov,
Bruno Blanchet,
Aaron D. Jaggard,
2008,
ASIACCS '08.
Andre Scedrov,
Jean-Yves Girard,
Philip J. Scott,
1992
.
A. Scedrov,
Andrej Ščedrov,
1984
.
Gopalan Nadathur,
Dale Miller,
Andre Scedrov,
1987,
Logic in Computer Science.
Amy P. Felty,
Gopalan Nadathur,
Dale Miller,
1988,
CADE.
Andre Scedrov,
Jean-Yves Girard,
Philip J. Scott,
1992,
Theor. Comput. Sci..
Andre Scedrov,
Peter J. Freyd,
Aurelio Carboni,
1987,
MFPS.
Andre Scedrov,
Jean-Yves Girard,
Philip J. Scott,
1991
.
John C. Mitchell,
Andre Scedrov,
A. Scedrov,
1992,
CSL.
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2019,
WoLLIC.
Andre Scedrov,
Iliano Cervesato,
Aaron D. Jaggard,
2002,
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Ufuk Topcu,
Boon Thau Loo,
Andre Scedrov,
2013,
2013 21st IEEE International Conference on Network Protocols (ICNP).
Limin Jia,
Jennifer Rexford,
Boon Thau Loo,
2011,
IEEE/ACM Transactions on Networking.
John C. Mitchell,
Andre Scedrov,
Paulo Mateus,
2003,
CONCUR.
John C. Mitchell,
Patrick Lincoln,
Andre Scedrov,
1999,
Proceedings of the 12th IEEE Computer Security Foundations Workshop.
John C. Mitchell,
Andre Scedrov,
Arnab Roy,
2008,
ACNS.
Max I. Kanovich,
Andre Scedrov,
Paul D. Rowe,
2011,
Journal of Automated Reasoning.
Max I. Kanovich,
Andre Scedrov,
Paul D. Rowe,
2009,
2009 22nd IEEE Computer Security Foundations Symposium.
Max I. Kanovich,
Andre Scedrov,
Paul D. Rowe,
2007,
20th IEEE Computer Security Foundations Symposium (CSF'07).
Andre Scedrov,
Paul D. Rowe,
A. Scedrov,
2009
.
Natarajan Shankar,
Patrick Lincoln,
Andre Scedrov,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
J. Rexford,
B. T. Loo,
C. Talcott,
2012,
IEEE/ACM Transactions on Networking.
Carolyn L. Talcott,
Boon Thau Loo,
Andre Scedrov,
2012,
TACAS.
Carolyn L. Talcott,
Limin Jia,
Boon Thau Loo,
2011,
FMOODS/FORTE.
B. T. Loo,
A. Scedrov,
Wenchao Zhou,
2014
.
Frank Wang,
John C. Mitchell,
Andre Scedrov,
2012,
IHI '12.
Andre Scedrov,
A. Scedrov,
1990
.
Andre Scedrov,
Stepan Kuznetsov,
Max Kanovich,
2020,
Journal of Logic, Language and Information.
Vivek Nigam,
Andre Scedrov,
Stepan Kuznetsov,
2020,
IJCAR.
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2019,
FG.
Glyn Morrill,
Max I. Kanovich,
Andre Scedrov,
2018,
FG.
Glyn Morrill,
Max I. Kanovich,
Andre Scedrov,
2017,
FSCD.
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2016,
FCT.
Max I. Kanovich,
Andre Scedrov,
Stepan Kuznetsov,
2016,
LFCS.
Andre Scedrov,
A. Scedrov,
1986,
Ann. Pure Appl. Log..
Andre Scedrov,
A. Scedrov,
1986,
Ann. Pure Appl. Log..
A. Scedrov,
Andrej Ščedrov,
1985
.
Rohit Chadha,
Andre Scedrov,
Steve Kremer,
2004,
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Rohit Chadha,
Andre Scedrov,
A. Scedrov,
2003
.
John W. Gray,
Andrej Scedrov,
A. Scedrov,
1989
.
Rohit Chadha,
Max I. Kanovich,
Andre Scedrov,
2001,
CCS '01.
Vanessa Teague,
A. Scedrov,
John C. Mitchell,
2001
.
A. Scedrov,
Richard Vesley,
A. Scedrov,
1983,
Arch. Math. Log..
Andre Scedrov,
Philip J. Scott,
E. S. Bainbridge,
1990,
Theor. Comput. Sci..
Andre Scedrov,
Harvey M. Friedman,
H. Friedman,
1984,
Ann. Pure Appl. Log..
Andre Scedrov,
Iliano Cervesato,
Aaron D. Jaggard,
2006,
Inf. Comput..
A. Scedrov,
P. Scowcroft,
1988,
Mathematical Proceedings of the Cambridge Philosophical Society.
Andre Scedrov,
A. Scedrov,
1986,
Ann. Pure Appl. Log..
John C. Mitchell,
Andre Scedrov,
Mark Mitchell,
1998,
Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
Andre Scedrov,
Iliano Cervesato,
Aaron D. Jaggard,
2003,
ISSS.
Max I. Kanovich,
Tajana Ban Kirigin,
Vivek Nigam,
2010,
Inf. Comput..