Go to the corresponding LIPIcs Volume Portal 
Madhusudan, P. ; Nowotka, Dirk ; Rajasekaran, Aayush ; Shallit, Jeffrey
pdfformat: 

@InProceedings{madhusudan_et_al:LIPIcs:2018:9600, author = {P. Madhusudan and Dirk Nowotka and Aayush Rajasekaran and Jeffrey Shallit}, title = {{Lagrange's Theorem for Binary Squares}}, booktitle = {43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)}, pages = {18:118:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770866}, ISSN = {18688969}, year = {2018}, volume = {117}, editor = {Igor Potapov and Paul Spirakis and James Worrell}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9600}, URN = {urn:nbn:de:0030drops96003}, doi = {10.4230/LIPIcs.MFCS.2018.18}, annote = {Keywords: binary square, theoremproving, finite automaton, decision procedure, decidable theory, additive number theory} }
Keywords:  binary square, theoremproving, finite automaton, decision procedure, decidable theory, additive number theory  
Seminar:  43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)  
Issue Date:  2018  
Date of publication:  20.08.2018 