@inproceedings{BouajjaniHabermehlJurskiSighireanu:Rewriting:FCT:2007,
    Author = {Bouajjani, Ahmed and Habermehl, Peter and Jurski, Yan and Sighireanu, Mihaela},
    BookTitle = {Proc. of FCT'07},
    Editor = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and {\'E}sik, Zolt{\'a}n},
    File = {Rewriting Systems with Data - Bouajjani, Habermehl, Jurski, Sighireanu (1) (0) - a - a - p.pdf},
    ISBN = {978-3-540-74239-5},
    Language = {English},
    Pages = {1-22},
    Publisher = {Springerq},
    Series = {LNCS},
    Title = {Rewriting Systems with Data},
    URL = {http://dx.doi.org/10.1007/978-3-540-74240-1\_1},
    Volume = {4639},
    Year = {2007},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-74240-1\_1},
    date-added = {2015-03-04 10:56:51 +0000},
    date-modified = {2015-03-04 10:57:15 +0000},
    file-2 = {Rewriting Systems with Data - Bouajjani, Habermehl, Jurski, Sighireanu (0) (0) - a - a - p.pdf},
    doi = {10.1007/978-3-540-74240-1_1}
}

@inproceedings{BouajjaniHabermehlJurskiSighireanu:Rewriting:FCT:2007, Author = {Bouajjani, Ahmed and Habermehl, Peter and Jurski, Yan and Sighireanu, Mihaela}, BookTitle = {Proc. of FCT'07}, Editor = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and {\'E}sik, Zolt{\'a}n}, File = {Rewriting Systems with Data - Bouajjani, Habermehl, Jurski, Sighireanu (1) (0) - a - a - p.pdf}, ISBN = {978-3-540-74239-5}, Language = {English}, Pages = {1-22}, Publisher = {Springerq}, Series = {LNCS}, Title = {Rewriting Systems with Data}, URL = {http://dx.doi.org/10.1007/978-3-540-74240-1_1}, Volume = {4639}, Year = {2007}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-74240-1_1}, date-added = {2015-03-04 10:56:51 +0000}, date-modified = {2015-03-04 10:57:15 +0000}, file-2 = {Rewriting Systems with Data - Bouajjani, Habermehl, Jurski, Sighireanu (0) (0) - a - a - p.pdf}, doi = {10.1007/978-3-540-74240-1_1} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge