Laura Bozzelli, Sophie Pinchinat, Axel Legay. Hardness of preorder checking for basic formalisms. In Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Lecture Notes in Articifial Intellingence, Volume 6355, Dakar, Senegal, 2010.
Sophie Pinchinat http://www.irisa.fr/prive/Sophie.Pinchinat/
@InProceedings{Pinchinat2010a,
Author = {Bozzelli, Laura and Pinchinat, Sophie and Legay, Axel},
Title = {Hardness of preorder checking for basic formalisms},
BookTitle = {Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16},
Volume = {6355},
Series = {Lecture Notes in Articifial Intellingence},
Publisher = {Springer},
Address = {Dakar, Senegal},
Year = {2010}
}
Get EndNote Reference (.ref)