Program-Oriented Logics of Renominative Level with Extended Renomination and Equality.
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
VenueNationalICTERI
Year2019
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/NikitchenkoSS19a ↗
Browse the full ICTERI paper archive.