One-context Unification with STG-Compressed Terms is in NP

DOI10.4230/LIPICS.RTA.2012.149zbMATH Open1437.68078OpenAlexW1836750303MaRDI QIDQ5111902FDOQ5111902

Adrià Gascón, Carles Creus, Guillem Godoy

Publication date: 27 May 2020

Full work available at URL: https://dblp.uni-trier.de/db/conf/rta/rta2012.html#CreusGG12

zbMATH Keywords

compressiongrammarsterm unification

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Grammars and rewriting systems (68Q42)

Cited In (4)

• Grammar-Based Tree Compression
• Grammar-based compression of unranked trees
• Approximation of smallest linear tree grammar
• Stratified Context Unification Is NP-Complete

This page was built for publication: One-context Unification with STG-Compressed Terms is in NP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111902)