![]() |
Department of Mathematics
University of Pennsylvania 209 South 33rd Street Philadelphia, PA 19104-6395 U.S.A.
|
Photo by Bonnie Hoke-Scedrov. Mal'tsev Meeting 2018.
List of
Andre Scedrov's selected publications.
Symposium on Logical Foundations Of Computer Science (LFCS 2020).
Tenth International Joint Conference on Automated Reasoning (IJCAR 2020).
9th Conference Logic and Applications 2020 (LAP 2020).
Mal'tsev Meeting 2020.
7th International Conference on Information
Systems Security and Privacy (ICISSP 2021).
Logical Perspectives 2021.
34th IEEE Computer Security Foundations Symposium (CSF 2021).
___________________________________________________
Andre Scedrov