no help available
no help available
BibSonomy
author- tag
- user
- group
- author
- concept
- BibTeX key
- search:all
- :: Weidenbach
- ::
The blue social bookmark and publication sharing system.
bookmarks
- No matching items.
- Arnaud Fietzke, and Christoph Weidenbach. Mathematics in Computer Science 6(4):409-425 (2012)Arnaud Fietzke, and Christoph Weidenbach. Mathematics in Computer Science 6(4):409-425 (2012)4 months and 21 days agoby dblp1
- Evgeny Kruglov, and Christoph Weidenbach. Mathematics in Computer Science 6(4):427-456 (2012)Evgeny Kruglov, and Christoph Weidenbach. Mathematics in Computer Science 6(4):427-456 (2012)4 months and 21 days agoby dblp1
- Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, and Christoph Weidenbach. FroCoS, volume 6989 of Lecture Notes in Computer Science, page 119-134. Springer, (2011)Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, and Christoph Weidenbach. FroCoS, volume 6989 of Lecture Notes in Computer Science, page 119-134. Springer, (2011)5 months and 9 days agoby dblp1
- Ernst Althaus, Evgeny Kruglov, and Christoph Weidenbach. FroCoS, volume 5749 of Lecture Notes in Computer Science, page 84-99. Springer, (2009)Ernst Althaus, Evgeny Kruglov, and Christoph Weidenbach. FroCoS, volume 5749 of Lecture Notes in Computer Science, page 84-99. Springer, (2009)5 months and 9 days agoby dblp1
- Jasmin Christian Blanchette, Andrei Popescu, Daniel Wand, and Christoph Weidenbach. ITP, volume 7406 of Lecture Notes in Computer Science, page 345-360. Springer, (2012)Jasmin Christian Blanchette, Andrei Popescu, Daniel Wand, and Christoph Weidenbach. ITP, volume 7406 of Lecture Notes in Computer Science, page 345-360. Springer, (2012)10 months agoby dblp1
- Martin Suda, and Christoph Weidenbach. IJCAR, volume 7364 of Lecture Notes in Computer Science, page 537-543. Springer, (2012)Martin Suda, and Christoph Weidenbach. IJCAR, volume 7364 of Lecture Notes in Computer Science, page 537-543. Springer, (2012)11 months agoby dblp1
- Pascal Fontaine, Stephan Merz, and Christoph Weidenbach. IJCAR, volume 7364 of Lecture Notes in Computer Science, page 256-270. Springer, (2012)Pascal Fontaine, Stephan Merz, and Christoph Weidenbach. IJCAR, volume 7364 of Lecture Notes in Computer Science, page 256-270. Springer, (2012)11 months agoby dblp1
- M. Weidenbach, Sabine Trochim, S. Kreutter, Christian Richter, Thomas Berlage, and Gernoth Grunst. Comp. in Bio. and Med. 34(5):407-425 (2004)M. Weidenbach, Sabine Trochim, S. Kreutter, Christian Richter, Thomas Berlage, and Gernoth Grunst. Comp. in Bio. and Med. 34(5):407-425 (2004)a year agoby dblp1
- Christoph Weidenbach. IJCAI, page 60-65. Morgan Kaufmann, (1993)Christoph Weidenbach. IJCAI, page 60-65. Morgan Kaufmann, (1993)a year and a month agoby dblp1
- Martin Suda, and Christoph Weidenbach. LPAR, volume 7180 of Lecture Notes in Computer Science, page 391-405. Springer, (2012)Martin Suda, and Christoph Weidenbach. LPAR, volume 7180 of Lecture Notes in Computer Science, page 391-405. Springer, (2012)a year and 3 months agoby dblp1
- Arnaud Fietzke, Evgeny Kruglov, and Christoph Weidenbach. LPAR, volume 7180 of Lecture Notes in Computer Science, page 197-211. Springer, (2012)Arnaud Fietzke, Evgeny Kruglov, and Christoph Weidenbach. LPAR, volume 7180 of Lecture Notes in Computer Science, page 197-211. Springer, (2012)a year and 3 months agoby dblp1
- Matthias Horbach, and Christoph Weidenbach. CoRR (2008)Matthias Horbach, and Christoph Weidenbach. CoRR (2008)a year and 6 months agoby dblp2
- Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobald, and Dalibor Topic. CADE, volume 2392 of Lecture Notes in Computer Science, page 275-279. Springer, (2002)Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobald, and Dalibor Topic. CADE, volume 2392 of Lecture Notes in Computer Science, page 275-279. Springer, (2002)2 years agoby dblp1
- Bijan Afshordel, Thomas Hillenbrand, and Christoph Weidenbach. LPAR, volume 2250 of Lecture Notes in Computer Science, page 309-319. Springer, (2001)Bijan Afshordel, Thomas Hillenbrand, and Christoph Weidenbach. LPAR, volume 2250 of Lecture Notes in Computer Science, page 309-319. Springer, (2001)2 years agoby dblp1
- Christoph Weidenbach. CADE, volume 1632 of Lecture Notes in Computer Science, page 314-328. Springer, (1999)Christoph Weidenbach. CADE, volume 1632 of Lecture Notes in Computer Science, page 314-328. Springer, (1999)2 years agoby dblp1
- Christoph Weidenbach. CADE, volume 1632 of Lecture Notes in Computer Science, page 378-382. Springer, (1999)Christoph Weidenbach. CADE, volume 1632 of Lecture Notes in Computer Science, page 378-382. Springer, (1999)2 years agoby dblp1
- Tianxiang Lu, Stephan Merz, and Christoph Weidenbach. FMOODS/FORTE, volume 6722 of Lecture Notes in Computer Science, page 244-258. Springer, (2011)Tianxiang Lu, Stephan Merz, and Christoph Weidenbach. FMOODS/FORTE, volume 6722 of Lecture Notes in Computer Science, page 244-258. Springer, (2011)2 years agoby dblp1
- Hans Jürgen Ohlbach, and Christoph Weidenbach. J. Autom. Reasoning 15(2):267-275 (1995)Hans Jürgen Ohlbach, and Christoph Weidenbach. J. Autom. Reasoning 15(2):267-275 (1995)2 years and a month agoby dblp1
- Christoph Weidenbach. J. Autom. Reasoning 18(2):247-252 (1997)Christoph Weidenbach. J. Autom. Reasoning 18(2):247-252 (1997)2 years and a month agoby dblp1
- Christoph Weidenbach. Ann. Math. Artif. Intell. 18(2-4):261-293 (1996)Christoph Weidenbach. Ann. Math. Artif. Intell. 18(2-4):261-293 (1996)2 years and a month agoby dblp1