%0 Conference Paper %1 conf/weit/Costa13 %A da Rocha Costa, Antônio Carlos %B WEIT %D 2013 %I IEEE Computer Society %K dblp %P 165-171 %T Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems. %U http://dblp.uni-trier.de/db/conf/weit/weit2013.html#Costa13 %@ 978-1-4799-3057-9

@inproceedings{conf/weit/Costa13, added-at = {2016-08-22T00:00:00.000+0200}, author = {da Rocha Costa, Antônio Carlos}, biburl = {https://www.bibsonomy.org/bibtex/271439f9aa34fdcc5628f48af6f35dc16/dblp}, booktitle = {WEIT}, crossref = {conf/weit/2013}, ee = {http://doi.ieeecomputersociety.org/10.1109/WEIT.2013.23}, interhash = {06748d81bc7578b3689bb1ae607c559a}, intrahash = {71439f9aa34fdcc5628f48af6f35dc16}, isbn = {978-1-4799-3057-9}, keywords = {dblp}, pages = {165-171}, publisher = {IEEE Computer Society}, timestamp = {2016-08-23T11:47:16.000+0200}, title = {Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems.}, url = {http://dblp.uni-trier.de/db/conf/weit/weit2013.html#Costa13}, year = 2013 }