pdfformat: 

@InProceedings{dawar_et_al:LIPIcs:2018:9687, author = {Anuj Dawar and Gregory Wilsenach}, title = {{Symmetric Circuits for Rank Logic}}, booktitle = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)}, pages = {20:120:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770880}, ISSN = {18688969}, year = {2018}, volume = {119}, editor = {Dan Ghica and Achim Jung}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9687}, URN = {urn:nbn:de:0030drops96870}, doi = {10.4230/LIPIcs.CSL.2018.20}, annote = {Keywords: fixedpoint logic with rank, circuits, symmetric circuits, uniform families of circuits, circuit characterization, circuit framework, finite model the} }
Keywords:  fixedpoint logic with rank, circuits, symmetric circuits, uniform families of circuits, circuit characterization, circuit framework, finite model the  
Seminar:  27th EACSL Annual Conference on Computer Science Logic (CSL 2018)  
Issue date:  2018  
Date of publication:  2018 