{"_id":"cX2AqTBYjMag5bJix","bibbaseid":"genevs-viondury-xpathformalsemanticsandbeyondacoqbasedapproach-2004","downloads":0,"creationDate":"2016-08-31T09:41:15.228Z","title":"XPath Formal Semantics and Beyond: A Coq-Based Approach ","author_short":["Genevès, P.","Vion-Dury, J."],"year":2004,"bibtype":"inproceedings","biburl":"http://pierresoft.com/pierre.geneves/bibs/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pierre"],"propositions":[],"lastnames":["Genevès"],"suffixes":[]},{"firstnames":["Jean-Yves"],"propositions":[],"lastnames":["Vion-Dury"],"suffixes":[]}],"title":"XPath Formal Semantics and Beyond: A Coq-Based Approach ","booktitle":"TPHOLs '04: Emerging Trends Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics","month":"August","pages":"181-198","location":"Park City, Utah, United States","publisher":"University Of Utah","address":"Salt Lake City, Utah, United States","year":"2004","bibtex":"@inproceedings{geneves-tphols04,\nAUTHOR = {Pierre Genev\\`es and Jean-Yves Vion-Dury},\nTITLE = {{XPath} Formal Semantics and Beyond: A {Coq}-Based Approach },\nBOOKTITLE = {TPHOLs '04: Emerging Trends Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics},\nMONTH = {August},\npages = {181-198},\nlocation = {Park City, Utah, United States},\npublisher = {University Of Utah},\naddress = {Salt Lake City, Utah, United States},\nYEAR = {2004}\t\n}\n","author_short":["Genevès, P.","Vion-Dury, J."],"key":"geneves-tphols04","id":"geneves-tphols04","bibbaseid":"genevs-viondury-xpathformalsemanticsandbeyondacoqbasedapproach-2004","role":"author","urls":{},"downloads":0},"search_terms":["xpath","formal","semantics","beyond","coq","based","approach","genevès","vion-dury"],"keywords":[],"authorIDs":[],"dataSources":["onq3LEDJRGBWYt5of"]}