Matches in DBpedia 2016-04 for { ?s ?p "Christoph Walther" }
Showing triples 1 to 12 of
12
with 100 triples per page.
- On-proving-termination-AIJ-71-1_1994-2.pdf author "Christoph Walther".
- 1c4027b25d2a7dcccad8f2432d84cbd3de63a4b484eb0a23f344531ecce163e3 author "Christoph Walther".
- 53ef815669eafa56605a84ff275b3dc88c90e05bbab7b8a8147c0dae4db83d21 author "Christoph Walther".
- 77d9a1b5beb58377b4ad28a0f99c5e05f00e436b9144048ac682e86fd2da2b73 author "Christoph Walther".
- 98574a589a7ba149f3d5ddaa9a0f574ab98c87b82f5e1c1f95d9f6840f3ca0c4 author "Christoph Walther".
- f4543af3d77ded3169a807a59089ce865b87c6382845821dd2336d0c292d2a6e author "Christoph Walther".
- Criteria-Termination-I_CL-Kluwer-2000.ps author "Christoph Walther".
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 author1 "Christoph Walther".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps author2 "Christoph Walther".
- On-proving-termination-AIJ-71-1_1994-2.pdf authorlink "Christoph Walther".
- 77d9a1b5beb58377b4ad28a0f99c5e05f00e436b9144048ac682e86fd2da2b73 authorlink "Christoph Walther".
- 0004-3702(85)90029-3 authorlink "Christoph Walther".