 | Year | | Title | BibTeX cite key | |
|---|
 | van der Torre |
| |
|
| |
| van der Torre, Weydert |
| |
|
| |
| Veit |
| |
|
| |
 | Vorobyov |
| |
| 2002 | | The undecidability of the first-order theories of one step rewriting in linear canonical systems
In: Information and Computation [175], 182-213 | Vorobyov2000-OSR | |
| 2002 | | $\forall\exists^5$-equational theory of context unification is undecidable
In: Theoretical Computer Science [275], 463-479 | Vorobyov2000-aecu | |
| 1999 |  | Subtyping Functional+Nonempty Record Types
In: Proceedings of the 12th International Workshop on Computer Science Logic (CSL-98), Annual Conference on the EACSL, 285-297 | Vorobyov1998CSL | |
| 1998 | | $\forall\exists^\ast$-Equational Theory of Context Unification is $\Pi_1^0$-Hard
In: Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS-98), 597-606 | Vorobyov1998MFCS | |
| 1997 | | The first-order theory of one step rewriting in linear noetherian systems is undecidable
In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), 254-268 | Vorobyov97RTA97 | |
| 1997 | | The `hardest´ natural decidable theory
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 294-305 | Vorobyov97LICS97 | |
| 1996 | | An improved lower bound for the elementary theories of trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 275-287 | Vorobyov96CADE96 | |
| 1996 | | On the bounded theories of finite trees
In: Second Asian Computing Science Conference, ASIAN'96, 152-161 | Vorobyov96ASIAN96 | |
| 1995 | | Fsub with recursive types: `Types-As-Propositions´ Interpretations in M. Rabin's S2S
In: Proceedings of JFLA'95: Journées Francophones des Langages Applicatifs (JFLA'95), 49-73 | Vorobyov94b | |
| 1995 | | Structural decidable extensions of bounded quantification
In: Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL'95), 164-175 | Vorobyov94h | |
|
| |
| Voronkov |
| |
|
| |
| Waldmann |
| |
|
| |
| Weidenbach |
| |
| Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić |
| |
| Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić |
| |
|
| |
| Weidenbach, Meyer, Cohrs, Engel, Keen |
| |
| Werner, Bockmayr, Krischer |
| |
| Weydert |
| |
| Weydert, Brewka, Witteveen (ed.) |
| |
| Weydert, van der Torre |
| |
|
| |
| Wies, Kuncak, Lam, Podelski, Rinard |
| |
|
| |
| Wu, Liu |
| |
|
| |
| Wu, Tan, Li |
| |
|
| |
| Yoshida, Bundy, Green, Walsh, Basin |
| |
| Yuan, Billington, Freiheit |
| |
| Zeyer |
| |
