@InProceedings{   Massazza:DLT:2005,
  Author        = "Massazza, Paolo",
  Editor        = "De Felice, Clelia and Restivo, Antonio",
  Abstract      = "Given a class {\$}{\backslash}mathcal{\{}C{\}}{\$}of languages, the Inclusion Problem for {\$}{\backslash}mathcal{\{}C{\}}{\$}consists of deciding whether for {\$}L{\\_}{\{}1{\}},L{\\_}{\{}2{\}}{\backslash}in{\backslash}mathcal{\{}C{\}}{\$}we have L1{\thinspace}⊆{\thinspace}L2.",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Developments in Language Theory",
  date-added    = "2019-05-28 11:20:52 +0200",
  date-modified = "2020-10-02 19:03:03 +0200",
  ISBN          = "978-3-540-31682-4",
  Pages         = "350--361",
  Publisher     = "Springer Berlin Heidelberg",
  Title         = "The Inclusion Problem for Unambiguous Rational Trace Languages",
  Year          = "2005",
  File          = "Massazza2005\_Chapter\_TheInclusionProblemForUnambigu (0) (0) - a - a - v.pdf"
}

@InProceedings{ Massazza:DLT:2005, Author = "Massazza, Paolo", Editor = "De Felice, Clelia and Restivo, Antonio", Abstract = "Given a class {\$}{\backslash}mathcal{{}C{}}{\$}of languages, the Inclusion Problem for {\$}{\backslash}mathcal{{}C{}}{\$}consists of deciding whether for {\$}L{\}{{}1{}},L{\}{{}2{}}{\backslash}in{\backslash}mathcal{{}C{}}{\$}we have L1{\thinspace}⊆{\thinspace}L2.", Address = "Berlin, Heidelberg", BookTitle = "Developments in Language Theory", date-added = "2019-05-28 11:20:52 +0200", date-modified = "2020-10-02 19:03:03 +0200", ISBN = "978-3-540-31682-4", Pages = "350--361", Publisher = "Springer Berlin Heidelberg", Title = "The Inclusion Problem for Unambiguous Rational Trace Languages", Year = "2005", File = "Massazza2005_Chapter_TheInclusionProblemForUnambigu (0) (0) - a - a - v.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge