%0 Conference Paper %1 conf/aisc/FujiyoshiSU08 %A Fujiyoshi, Akio %A Suzuki, Masakazu %A Uchida, Seiichi %B AISC/MKM/Calculemus %D 2008 %E Autexier, Serge %E Campbell, John A. %E Rubio, Julio %E Sorge, Volker %E Suzuki, Masakazu %E Wiedijk, Freek %I Springer %K dblp %P 415-429 %T Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#FujiyoshiSU08 %V 5144 %@ 978-3-540-85109-7

@inproceedings{conf/aisc/FujiyoshiSU08, added-at = {2017-06-15T00:00:00.000+0200}, author = {Fujiyoshi, Akio and Suzuki, Masakazu and Uchida, Seiichi}, biburl = {https://www.bibsonomy.org/bibtex/258404cf721a8f6f403f1d72465c04e1e/dblp}, booktitle = {AISC/MKM/Calculemus}, crossref = {conf/aisc/2008}, editor = {Autexier, Serge and Campbell, John A. and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek}, ee = {https://doi.org/10.1007/978-3-540-85110-3_35}, interhash = {3f7a7ecad3d7a70ed7b7d455a299d6be}, intrahash = {58404cf721a8f6f403f1d72465c04e1e}, isbn = {978-3-540-85109-7}, keywords = {dblp}, pages = {415-429}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:38:58.000+0200}, title = {Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#FujiyoshiSU08}, volume = 5144, year = 2008 }