%0 Conference Paper %1 conf/stacs/Klaedtke08 %A Klaedtke, Felix %B STACS %D 2008 %E Albers, Susanne %E Weil, Pascal %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K dblp %P 445-456 %T Ehrenfeucht-Fraïssé Goes Automatic for Real Addition. %U http://dblp.uni-trier.de/db/conf/stacs/stacs2008.html#Klaedtke08 %V 1

@inproceedings{conf/stacs/Klaedtke08, added-at = {2018-08-23T00:00:00.000+0200}, author = {Klaedtke, Felix}, biburl = {https://www.bibsonomy.org/bibtex/2668cd72a364d7085d94df6d2e4e1fbfa/dblp}, booktitle = {STACS}, crossref = {conf/stacs/2008}, editor = {Albers, Susanne and Weil, Pascal}, ee = {https://doi.org/10.4230/LIPIcs.STACS.2008.1364}, interhash = {27619b27fc2b39b00d5c22304d6f4753}, intrahash = {668cd72a364d7085d94df6d2e4e1fbfa}, keywords = {dblp}, pages = {445-456}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {LIPIcs}, timestamp = {2024-04-09T20:44:31.000+0200}, title = {Ehrenfeucht-Fraïssé Goes Automatic for Real Addition.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs2008.html#Klaedtke08}, volume = 1, year = 2008 }