%0 Conference Paper %1 conf/tableaux/MayerLOP05 %A Mayer, Marta Cialdea %A Limongelli, Carla %A Orlandini, Andrea %A Poggioni, Valentina %B TABLEAUX %D 2005 %E Beckert, Bernhard %I Springer %K dblp %P 307-311 %T Pdk: The System and Its Language. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2005.html#MayerLOP05 %V 3702 %@ 3-540-28931-3

@inproceedings{conf/tableaux/MayerLOP05, added-at = {2018-11-24T00:00:00.000+0100}, author = {Mayer, Marta Cialdea and Limongelli, Carla and Orlandini, Andrea and Poggioni, Valentina}, biburl = {https://www.bibsonomy.org/bibtex/25a2193af836ac5e0020269d615ccbc66/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2005}, editor = {Beckert, Bernhard}, ee = {https://www.wikidata.org/entity/Q58615482}, interhash = {34d90c2d7dfa2c63dfd5f13df405a866}, intrahash = {5a2193af836ac5e0020269d615ccbc66}, isbn = {3-540-28931-3}, keywords = {dblp}, pages = {307-311}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:49:47.000+0200}, title = {Pdk: The System and Its Language.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2005.html#MayerLOP05}, volume = 3702, year = 2005 }