Lifting Theorems for Equality

AuthID
P-00Q-2VP
2
Author(s)
Mukhopadhyay, S
2
Editor(s)
Niedermeier, R; Paul, C
Document Type
Proceedings Paper
Year published
2019
Published
in 36TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2019) in LIPIcs
Volume: 126, Pages: 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
Marked List
Info
At this moment we don't have any links to full text documens.