Backward and Forward Bisimulation Minimisation of Weighted Tree Automata. Högberg, J., Maletti, A., & May, J. In Holub, J. & Ždárek, J., editors, Proceedings of the 12th International Conference on Implementation and Application of Automata, CIAA 2007, volume 4783, of Lecture Notes in Computer Science, pages 109–121, Prague, Czech Republic, July 16–18, 2007. Springer-Verlag. bibtex @InProceedings{hogbergmalettimay07:ciaa,
author = {Johanna H\"{o}gberg and Andreas Maletti and Jonathan May},
title = {Backward and Forward Bisimulation Minimisation of Weighted Tree Automata},
booktitle = {Proceedings of the 12th International Conference on Implementation and Application of Automata, CIAA 2007},
pages = {109--121},
year = 2007,
editor = {Jan Holub and Jan \v{Z}d\'{a}rek},
volume = 4783,
series = {Lecture Notes in Computer Science},
address = {Prague, Czech Republic},
month = {July 16--18},
publisher = {Springer-Verlag}
}
Downloads: 0
{"_id":"Fr68Aqvj45zckfmRX","bibbaseid":"hgberg-maletti-may-backwardandforwardbisimulationminimisationofweightedtreeautomata-2007","downloads":0,"creationDate":"2018-03-02T00:05:58.172Z","title":"Backward and Forward Bisimulation Minimisation of Weighted Tree Automata","author_short":["Högberg, J.","Maletti, A.","May, J."],"year":2007,"bibtype":"inproceedings","biburl":"https://jonmay.github.io/webpage/cutelabname/cutelabname.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Johanna"],"propositions":[],"lastnames":["Högberg"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Maletti"],"suffixes":[]},{"firstnames":["Jonathan"],"propositions":[],"lastnames":["May"],"suffixes":[]}],"title":"Backward and Forward Bisimulation Minimisation of Weighted Tree Automata","booktitle":"Proceedings of the 12th International Conference on Implementation and Application of Automata, CIAA 2007","pages":"109–121","year":"2007","editor":[{"firstnames":["Jan"],"propositions":[],"lastnames":["Holub"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Ždárek"],"suffixes":[]}],"volume":"4783","series":"Lecture Notes in Computer Science","address":"Prague, Czech Republic","month":"July 16–18","publisher":"Springer-Verlag","bibtex":"@InProceedings{hogbergmalettimay07:ciaa,\n author = \t {Johanna H\\\"{o}gberg and Andreas Maletti and Jonathan May},\n title = \t {Backward and Forward Bisimulation Minimisation of Weighted Tree Automata},\n booktitle =\t {Proceedings of the 12th International Conference on Implementation and Application of Automata, CIAA 2007},\n pages =\t {109--121},\n year =\t 2007,\n editor =\t {Jan Holub and Jan \\v{Z}d\\'{a}rek},\n volume =\t 4783,\n series =\t {Lecture Notes in Computer Science},\n address =\t {Prague, Czech Republic},\n month =\t {July 16--18},\n publisher =\t {Springer-Verlag}\n}\n\n","author_short":["Högberg, J.","Maletti, A.","May, J."],"editor_short":["Holub, J.","Ždárek, J."],"key":"hogbergmalettimay07:ciaa","id":"hogbergmalettimay07:ciaa","bibbaseid":"hgberg-maletti-may-backwardandforwardbisimulationminimisationofweightedtreeautomata-2007","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["backward","forward","bisimulation","minimisation","weighted","tree","automata","högberg","maletti","may"],"keywords":[],"authorIDs":[],"dataSources":["dDcybAPCHBAZER5nc","BnZgtH7HDESgbxKxt","AfBybHaxyt33K5MBP","hbZSwot2msWk92m5B","fcWjcoAgajPvXWcp7","GvHfaAWP6AfN6oLQE","j3Qzx9HAAC6WtJDHS","5eM3sAccSEpjSDHHQ"]}