%0 Conference Paper %1 conf/fct/DartoisP15 %A Dartois, Luc %A Paperman, Charles %B FCT %D 2015 %E Kosowski, Adrian %E Walukiewicz, Igor %I Springer %K dblp %P 160-172 %T Alternation Hierarchies of First Order Logic with Regular Predicates. %U http://dblp.uni-trier.de/db/conf/fct/fct2015.html#DartoisP15 %V 9210 %@ 978-3-319-22176-2

@inproceedings{conf/fct/DartoisP15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Dartois, Luc and Paperman, Charles}, biburl = {https://www.bibsonomy.org/bibtex/2170aec39b7d0c897150fa1096a7c8f20/dblp}, booktitle = {FCT}, crossref = {conf/fct/2015}, editor = {Kosowski, Adrian and Walukiewicz, Igor}, ee = {https://doi.org/10.1007/978-3-319-22177-9_13}, interhash = {ad77fbd87f4d307628d6c067dcb25935}, intrahash = {170aec39b7d0c897150fa1096a7c8f20}, isbn = {978-3-319-22176-2}, keywords = {dblp}, pages = {160-172}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:51:10.000+0200}, title = {Alternation Hierarchies of First Order Logic with Regular Predicates.}, url = {http://dblp.uni-trier.de/db/conf/fct/fct2015.html#DartoisP15}, volume = 9210, year = 2015 }