%0 Conference Paper %1 journals/entcs/LynchT08 %A Lynch, Christopher %A Tang, Yuefeng %B FICS %D 2008 %E Chen, Yixiang %E Zhang, Guo-Qiang %E Panangaden, Prakash %I Elsevier %K dblp %P 163-176 %T Rewriting Interpolants. %U http://dblp.uni-trier.de/db/journals/entcs/entcs212.html#LynchT08 %V 212

@inproceedings{journals/entcs/LynchT08, added-at = {2023-08-28T00:00:00.000+0200}, author = {Lynch, Christopher and Tang, Yuefeng}, biburl = {https://www.bibsonomy.org/bibtex/2450e9076707a523e001a7f5856c3b8af/dblp}, booktitle = {FICS}, crossref = {conf/fics2/2008}, editor = {Chen, Yixiang and Zhang, Guo-Qiang and Panangaden, Prakash}, ee = {https://www.wikidata.org/entity/Q118190445}, interhash = {b8a174ca285a02019d8d784a1304a1b0}, intrahash = {450e9076707a523e001a7f5856c3b8af}, keywords = {dblp}, pages = {163-176}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T02:24:12.000+0200}, title = {Rewriting Interpolants.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs212.html#LynchT08}, volume = 212, year = 2008 }