%0 Conference Paper %1 conf/icalp/KirchnerKM88 %A Kirchner, Claude %A Kirchner, Hélène %A Meseguer, José %B ICALP %D 1988 %E Lepistö, Timo %E Salomaa, Arto %I Springer %K dblp %P 287-301 %T Operational Semantics of OBJ-3 (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/icalp/icalp88.html#KirchnerKM88 %V 317 %@ 3-540-19488-6

@inproceedings{conf/icalp/KirchnerKM88, added-at = {2023-09-20T00:00:00.000+0200}, author = {Kirchner, Claude and Kirchner, Hélène and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/2f3201299a4a0698c555ad5e9c96ce833/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1988}, editor = {Lepistö, Timo and Salomaa, Arto}, ee = {https://doi.org/10.1007/3-540-19488-6_123}, interhash = {e49c8b64872a7c3b251c36b53b847a91}, intrahash = {f3201299a4a0698c555ad5e9c96ce833}, isbn = {3-540-19488-6}, keywords = {dblp}, pages = {287-301}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:00:22.000+0200}, title = {Operational Semantics of OBJ-3 (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp88.html#KirchnerKM88}, volume = 317, year = 1988 }