Previous Page | Next Page |
# | Year | Author(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
3 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
6 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
3 |
| ||||||||
2004 | Podelski, Andreas Rybalchenko, Andrey | A Complete Method for the Synthesis of Linear Ranking Functions In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, 239-251 | Proceedings Article | ||||||
1998 | Charatonik, Witold Podelski, Andreas | Directional Type Inference for Logic Programs In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294 | Proceedings Article | ||||||
1994 | [Werner, Andreas] Bockmayr, Alexander [Krischer, Stefan] | How to realize LSE narrowing In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76 | Proceedings Article |
Previous Page | Next Page |