%0 Conference Paper %1 conf/sofsem/LonatiMP13 %A Lonati, Violetta %A Mandrioli, Dino %A Pradella, Matteo %B SOFSEM %D 2013 %E van Emde Boas, Peter %E Groen, Frans C. A. %E Italiano, Giuseppe F. %E Nawrocki, Jerzy R. %E Sack, Harald %I Springer %K dblp %P 307-318 %T Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. %U http://dblp.uni-trier.de/db/conf/sofsem/sofsem2013.html#LonatiMP13 %V 7741 %@ 978-3-642-35843-2

@inproceedings{conf/sofsem/LonatiMP13, added-at = {2020-12-29T00:00:00.000+0100}, author = {Lonati, Violetta and Mandrioli, Dino and Pradella, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/28862e50a7270a78d50d200cb3eb5806c/dblp}, booktitle = {SOFSEM}, crossref = {conf/sofsem/2013}, editor = {van Emde Boas, Peter and Groen, Frans C. A. and Italiano, Giuseppe F. and Nawrocki, Jerzy R. and Sack, Harald}, ee = {https://doi.org/10.1007/978-3-642-35843-2_27}, interhash = {05d4b39d78b71985f31a1298b0ba566f}, intrahash = {8862e50a7270a78d50d200cb3eb5806c}, isbn = {978-3-642-35843-2}, keywords = {dblp}, pages = {307-318}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:18:38.000+0200}, title = {Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages.}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2013.html#LonatiMP13}, volume = 7741, year = 2013 }