|
Search the dblp DataBase
Jürgen Brauburger:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jürgen Brauburger, Jürgen Giesl
Termination Analysis by Inductive Evaluation. [Citation Graph (0, 0)][DBLP] CADE, 1998, pp:254-269 [Conf]
- Thomas Kolbe, Jürgen Brauburger
Plagiator - A Learning Prover. [Citation Graph (0, 0)][DBLP] CADE, 1997, pp:256-259 [Conf]
- Jürgen Brauburger, Jürgen Giesl
Termination Analysis for Partial Functions. [Citation Graph (0, 0)][DBLP] SAS, 1996, pp:113-127 [Conf]
- Jürgen Brauburger
Automatic Termination Analysis for Partial Functions Using Polynomial Orderings. [Citation Graph (0, 0)][DBLP] SAS, 1997, pp:330-344 [Conf]
- Jürgen Brauburger, Jürgen Giesl
Approximating the Domains of Functional and Imperative Programs. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1999, v:35, n:2, pp:113-136 [Journal]
Search in 0.001secs, Finished in 0.002secs
|