Lifting Theorems for Equality

AuthID
P-00Q-2VP
2
Author(s)
Mukhopadhyay, S
2
Editor(es)
Niedermeier, R; Paul, C
Tipo de Documento
Proceedings Paper
Year published
2019
Publicado
in 36TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2019) in LIPIcs
Volume: 126, Páginas: 50:1-50:19 (19)
Conference
36Th International Symposium on Theoretical Aspects of Computer Science (Stacs), Date: MAR 13-16, 2019, Location: Berlin, GERMANY
Indexing
Publication Identifiers
DBLP: conf/stacs/LoffM19
Wos: WOS:000472795800049
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.