%0 Conference Paper %1 conf/icaart/SharpanskykhT09a %A Sharpanskykh, Alexei %A Treur, Jan %B ICAART (Revised Selected Papers) %D 2009 %E Filipe, Joaquim %E Fred, Ana L. N. %E Sharp, Bernadette %I Springer %K dblp %P 56-69 %T Verifying Context-Dependent Reduction Relations for Knowledge Specifications. %U http://dblp.uni-trier.de/db/conf/icaart/icaart2009s.html#SharpanskykhT09a %V 67 %@ 978-3-642-11818-0

@inproceedings{conf/icaart/SharpanskykhT09a, added-at = {2022-04-09T00:00:00.000+0200}, author = {Sharpanskykh, Alexei and Treur, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2db2ee22d62bfa344b00e981982a3ada0/dblp}, booktitle = {ICAART (Revised Selected Papers)}, crossref = {conf/icaart/2009s}, editor = {Filipe, Joaquim and Fred, Ana L. N. and Sharp, Bernadette}, ee = {https://doi.org/10.1007/978-3-642-11819-7_5}, interhash = {37b2ce22eb63e1ee9063d17d9a1c0555}, intrahash = {db2ee22d62bfa344b00e981982a3ada0}, isbn = {978-3-642-11818-0}, keywords = {dblp}, pages = {56-69}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-10T19:54:52.000+0200}, title = {Verifying Context-Dependent Reduction Relations for Knowledge Specifications.}, url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2009s.html#SharpanskykhT09a}, volume = 67, year = 2009 }