%0 Journal Article %1 journals/ijfcs/Saoudi92 %A Saoudi, Ahmed %D 1992 %J Int. J. Found. Comput. Sci. %K dblp %N 1 %P 21-39 %T Pushdown Automata on Infinite Trees and Nondeterministic Context-Free Programs. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs3.html#Saoudi92 %V 3

@article{journals/ijfcs/Saoudi92, added-at = {2012-09-14T00:00:00.000+0200}, author = {Saoudi, Ahmed}, biburl = {https://www.bibsonomy.org/bibtex/27f0b55a009b27e8de1aa308e1be6567d/dblp}, ee = {http://dx.doi.org/10.1142/S0129054192000048}, interhash = {f739796f866dbbf8d63e4a7ecd701719}, intrahash = {7f0b55a009b27e8de1aa308e1be6567d}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {21-39}, timestamp = {2012-09-15T11:33:42.000+0200}, title = {Pushdown Automata on Infinite Trees and Nondeterministic Context-Free Programs.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs3.html#Saoudi92}, volume = 3, year = 1992 }