Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers. Berghammer, R., Möller, B., & Struth, G., editors Volume 3051of Lecture Notes in Computer ScienceSpringer. 2004. bibtex @proceedings{DBLP:conf/RelMiCS/2003conf,
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
publisher = {Springer},
year = {2004},
isbn = {3-540-22145-X},
timestamp = {Tue, 06 Jul 2004 10:24:02 +0200},
biburl = {http://dblp.dagstuhl.de/rec/bib/conf/RelMiCS/2003conf},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
Downloads: 0
{"_id":"XR6BhRkag8dALCtrk","bibbaseid":"berghammer-mller-struth-relationalandkleenealgebraicmethodsincomputerscience7thinternationalseminaronrelationalmethodsincomputerscienceand2ndinternationalworkshoponapplicationsofkleenealgebrabadmalentegermanymay12172003revisedselectedpapers-2004","downloads":0,"creationDate":"2017-02-27T14:01:07.276Z","title":"Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers","author_short":null,"year":2004,"bibtype":"proceedings","biburl":"http://dblp.org/pers/tb2/h/Hustadt:Ullrich","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Rudolf"],"propositions":[],"lastnames":["Berghammer"],"suffixes":[]},{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Möller"],"suffixes":[]},{"firstnames":["Georg"],"propositions":[],"lastnames":["Struth"],"suffixes":[]}],"title":"Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"3051","publisher":"Springer","year":"2004","isbn":"3-540-22145-X","timestamp":"Tue, 06 Jul 2004 10:24:02 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/RelMiCS/2003conf","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@proceedings{DBLP:conf/RelMiCS/2003conf,\n editor = {Rudolf Berghammer and\n Bernhard M{\\\"{o}}ller and\n Georg Struth},\n title = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International\n Seminar on Relational Methods in Computer Science and 2nd International\n Workshop on Applications of Kleene Algebra, Bad Malente, Germany,\n May 12-17, 2003, Revised Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {3051},\n publisher = {Springer},\n year = {2004},\n isbn = {3-540-22145-X},\n timestamp = {Tue, 06 Jul 2004 10:24:02 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/RelMiCS/2003conf},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","editor_short":["Berghammer, R.","Möller, B.","Struth, G."],"key":"DBLP:conf/RelMiCS/2003conf","id":"DBLP:conf/RelMiCS/2003conf","bibbaseid":"berghammer-mller-struth-relationalandkleenealgebraicmethodsincomputerscience7thinternationalseminaronrelationalmethodsincomputerscienceand2ndinternationalworkshoponapplicationsofkleenealgebrabadmalentegermanymay12172003revisedselectedpapers-2004","role":"editor","urls":{},"downloads":0,"html":""},"search_terms":["relational","kleene","algebraic","methods","computer","science","7th","international","seminar","relational","methods","computer","science","2nd","international","workshop","applications","kleene","algebra","bad","malente","germany","2003","revised","selected","papers"],"keywords":[],"authorIDs":[],"dataSources":["PQyNr8DmD7oCk5MXt"]}