%0 Journal Article %1 journals/jcss/Vardi84 %A Vardi, Moshe Y. %D 1984 %J J. Comput. Syst. Sci. %K dblp %N 1 %P 3-28 %T The Implication and Finite Implication Problems for Typed Template Dependencies. %U http://dblp.uni-trier.de/db/journals/jcss/jcss28.html#Vardi84 %V 28

@article{journals/jcss/Vardi84, added-at = {2023-08-28T00:00:00.000+0200}, author = {Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2d78fc69fa7539b081494aacece5229f8/dblp}, ee = {https://www.wikidata.org/entity/Q114685268}, interhash = {cdf65c6021252ff0e940cd1be1b10bd1}, intrahash = {d78fc69fa7539b081494aacece5229f8}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 1, pages = {3-28}, timestamp = {2024-04-08T19:14:23.000+0200}, title = {The Implication and Finite Implication Problems for Typed Template Dependencies.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss28.html#Vardi84}, volume = 28, year = 1984 }