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
Wos®
Dblp®/en/publications/view/756598
Google Scholar®
Publication Identifiers
DBLP: conf/stacs/LoffM19
Wos: WOS:000472795800049
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service