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) in: 36Th International Symposium On Theoretical Aspects Of Computer Science (Stacs 2019), MAR 13-16, 2019
Volume 126, Pages 50:1-50:19 (19)
Book Series: LIPIcs  
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

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