%0 Conference Paper %1 conf/zum/HensonR98 %A Henson, Martin C. %A Reeves, Steve %B ZUM %D 1998 %E Bowen, Jonathan P. %E Fett, Andreas %E Hinchey, Michael G. %I Springer %K dblp %P 172-191 %T A Logic for the Schema Calculus. %U http://dblp.uni-trier.de/db/conf/zum/zum1998.html#HensonR98 %V 1493 %@ 3-540-65070-9

@inproceedings{conf/zum/HensonR98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Henson, Martin C. and Reeves, Steve}, biburl = {https://www.bibsonomy.org/bibtex/2b850c573ed86cabcff855c50cfa68022/dblp}, booktitle = {ZUM}, crossref = {conf/zum/1998}, editor = {Bowen, Jonathan P. and Fett, Andreas and Hinchey, Michael G.}, ee = {https://doi.org/10.1007/978-3-540-49676-2_13}, interhash = {e4889d8f2c2136be710c6d3f51769cdd}, intrahash = {b850c573ed86cabcff855c50cfa68022}, isbn = {3-540-65070-9}, keywords = {dblp}, pages = {172-191}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:28:07.000+0200}, title = {A Logic for the Schema Calculus.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1998.html#HensonR98}, volume = 1493, year = 1998 }