Stephen L. Bloom, Zoltán Ésik
Nonfinite Axiomatizability of Shuffle Inequalities
TAPSOFT, 1995.
@inproceedings{TAPSOFT-1995-BloomE, author = "Stephen L. Bloom and Zoltán Ésik", booktitle = "{Proceedings of the Sixth International Joint Conference on Theory and Practice of Software Development}", doi = "10.1007/3-540-59293-8_204", isbn = "3-540-59293-8", pages = "318--333", publisher = "{Springer}", title = "{Nonfinite Axiomatizability of Shuffle Inequalities}", year = 1995, }