no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- No matching items.
- Manfred Kerber, and Michael Kohlhase. Journal of Applied Non-Classical Logics 22(4):295-317 (2012)Manfred Kerber, and Michael Kohlhase. Journal of Applied Non-Classical Logics 22(4):295-317 (2012)5 months and a day agoby dblp1
- Mihnea Iancu, Michael Kohlhase, Florian Rabe, and Josef Urban. J. Autom. Reasoning 50(2):191-202 (2013)Mihnea Iancu, Michael Kohlhase, Florian Rabe, and Josef Urban. J. Autom. Reasoning 50(2):191-202 (2013)5 months and a day agoby dblp1
- Milena Reichel, and Andrea Kohlhase. IJWLTT 3(1):58-67 (2008)Milena Reichel, and Andrea Kohlhase. IJWLTT 3(1):58-67 (2008)7 months agoby dblp1
- Michael Kohlhase, and Florian Rabe. Mathematics in Computer Science 6(3):235-260 (2012)Michael Kohlhase, and Florian Rabe. Mathematics in Computer Science 6(3):235-260 (2012)8 months agoby dblp1
- Michael Kohlhase, and Ortwin Scheja. Journal of Applied Non-Classical Logics 9(4):455-477 (1999)Michael Kohlhase, and Ortwin Scheja. Journal of Applied Non-Classical Logics 9(4):455-477 (1999)8 months agoby dblp1
- Christoph Lange 0002, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, and Ioannis Antoniou. CoRR (2012)8 months agoby dblp1
- Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, and Lionel Mamane. CoRR (2011)Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, and Lionel Mamane. CoRR (2011)8 months agoby dblp2
- Andrea Kohlhase. DeLFI Workshops, page 35-42. Logos Verlag, (2006)Andrea Kohlhase. DeLFI Workshops, page 35-42. Logos Verlag, (2006)9 months agoby dblp1
- Andrea Kohlhase, Heidi Schelhowe, and Michael Lund. Mensch & Computer, page 189-198. Oldenbourg Verlag, (2007)Andrea Kohlhase, Heidi Schelhowe, and Michael Lund. Mensch & Computer, page 189-198. Oldenbourg Verlag, (2007)9 months agoby dblp1
- Michael Kohlhase, Bogdan Matican, and Corneliu-Claudiu Prodescu. AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 342-357. Springer, (2012)Michael Kohlhase, Bogdan Matican, and Corneliu-Claudiu Prodescu. AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 342-357. Springer, (2012)11 months agoby dblp1
- Fulya Horozal, Michael Kohlhase, and Florian Rabe. AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 65-80. Springer, (2012)Fulya Horozal, Michael Kohlhase, and Florian Rabe. AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 65-80. Springer, (2012)11 months agoby dblp1
- Michael Kohlhase. AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 448-452. Springer, (2012)Michael Kohlhase. AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 448-452. Springer, (2012)11 months agoby dblp2
- Catalin David, Constantin Jucovschi, Andrea Kohlhase, and Michael Kohlhase. AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 49-64. Springer, (2012)Catalin David, Constantin Jucovschi, Andrea Kohlhase, and Michael Kohlhase. AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 49-64. Springer, (2012)11 months agoby dblp1
- Christoph Lange 0002, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, and Ioannis Antoniou. AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 458-462. Springer, (2012)Christoph Lange 0002, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, and Ioannis Antoniou. AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 458-462. Springer, (2012)11 months agoby dblp1
- Christoph Lange 0002, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Wolfram Sperber, Michael Kohlhase, and Ioannis Antoniou. ESWC, volume 7295 of Lecture Notes in Computer Science, page 763-777. Springer, (2012)Christoph Lange 0002, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Wolfram Sperber, Michael Kohlhase, and Ioannis Antoniou. ESWC, volume 7295 of Lecture Notes in Computer Science, page 763-777. Springer, (2012)a year agoby dblp1
- Claire Gardent, and Michael Kohlhase. IJCAI 2, page 1016-1021. Morgan Kaufmann, (1997)Claire Gardent, and Michael Kohlhase. IJCAI 2, page 1016-1021. Morgan Kaufmann, (1997)a year and a month agoby dblp2
- Andrea Kohlhase. University of Bremen, (2008)http://d-nb.info/989439445.Andrea Kohlhase. University of Bremen, (2008)http://d-nb.info/989439445.a year and 2 months agoby dblp1
- Catalin David, Deyan Ginev, Michael Kohlhase, Bogdan Matican, and Stefan Mirea. SePublica, volume 721 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Catalin David, Deyan Ginev, Michael Kohlhase, Bogdan Matican, and Stefan Mirea. SePublica, volume 721 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)a year and 3 months agoby dblp1
- Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, and Kristina Sojakova. WADT, volume 7137 of Lecture Notes in Computer Science, page 139-159. Springer, (2010)Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, and Kristina Sojakova. WADT, volume 7137 of Lecture Notes in Computer Science, page 139-159. Springer, (2010)a year and 4 months agoby dblp1