• Sign in
  • Sign up
conf.researchr.org / Yuliya Lierler
  • POPL 2017 profile
  • POPL 2019 profile
  • POPL 2021 profile

Not registered as user yet

Name:Yuliya Lierler
Affiliation:University of Nebraska
Personal website:http://faculty.ist.unomaha.edu/ylierler/

Contributions

PADL 2021 Keynote Speaker of SMT-based Constraint Answer Set Solver EZSMT within the PADL 2021-track
PADL 2019 Author of Strong Equivalence and Program's Structure in Arguing Essential Equivalence within the PADL 2019-track
Author of Automatic Program Rewriting in Non-Ground Answer Set Programs within the PADL 2019-track
PADL 2017 Committee Member in Organizing Committee within the PADL-track
Session Chair of Opening remarks (part of PADL)

Share
xSat 21 May 05:09
using conf.researchr.org (v1.55.6)
Support page
Sign Up