STACS 98
Springer, Berlin, Heidelberg
Chapter title |
Expressive completeness of LTrL on finite traces: An algebraic proof
|
---|---|
Chapter number | 46 |
Book title |
STACS 98
|
Published in |
ADS, February 1998
|
DOI | 10.1007/bfb0028588 |
Book ISBNs |
978-3-54-064230-5, 978-3-54-069705-3
|
Authors |
Raphaël Meyer, Antoine Petit |