%0 Conference Paper %1 conf/frocos/CoglioGMT00 %A Coglio, Alessandro %A Giunchiglia, Fausto %A Meseguer, José %A Talcott, Carolyn L. %B FroCoS %D 2000 %E Kirchner, Hélène %E Ringeissen, Christophe %I Springer %K dblp %P 200-216 %T Composing and Controlling Search in Reasoning Theories Using Mappings. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2000.html#CoglioGMT00 %V 1794 %@ 3-540-67281-8

@inproceedings{conf/frocos/CoglioGMT00, added-at = {2023-09-20T00:00:00.000+0200}, author = {Coglio, Alessandro and Giunchiglia, Fausto and Meseguer, José and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/28531850f0ad078df49240714991fd88a/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/2000}, editor = {Kirchner, Hélène and Ringeissen, Christophe}, ee = {https://doi.org/10.1007/10720084_14}, interhash = {e5d0de5c92f26493110b842470edf622}, intrahash = {8531850f0ad078df49240714991fd88a}, isbn = {3-540-67281-8}, keywords = {dblp}, pages = {200-216}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:10:24.000+0200}, title = {Composing and Controlling Search in Reasoning Theories Using Mappings.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2000.html#CoglioGMT00}, volume = 1794, year = 2000 }