22 |
| van der Torre, Leendert W. N. |
| |
1 |
| van Emde Boas, Peter (ed.) |
| |
2 |
| Van Hentenryck, Pascal (ed.) |
| |
1 |
| Vaz de Carvalho, Júlia (ed.) |
| |
| | 2000 | [Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei] | | Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
In: Theoretical Computer Science [243], 167-184 | Journal Article | |
| | 2000 | [Levy, Jordi]
Veanes, Margus | | On the Undecidability of Second-Order Unification
In: Information and Computation [159], 125-150 | Journal Article | |
| | 2000 | Ganzinger, Harald
[Jacquemard, Florent]
[Veanes, Margus] | | Rigid Reachability: The Non-Symmetric Form of Rigid E-unification
In: International Journal of Foundations of Computer Science [11], 3-27 | Journal Article | |
| | 1999 | Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | | Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260 | Proceedings Article | |
| | 1999 | [Gurevich, Yuri]
Veanes, Margus | | Logic with Equality: Partisan Corroboration and Shifted Pairing
In: Information and Computation [152], 205-235 | Journal Article | |
| | 1999 | Ganzinger, Harald
Meyer, Christoph
Veanes, Margus | | The Two-Variable Guarded Fragment with Transitive Relations
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 24-34 | Proceedings Article | |
| | 1998 | Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | | Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21 | Proceedings Article | |
| | 1998 | [Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei] | | The Decidability of Simultaneous Rigid E-Unification with One Variable
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 181-195 | Proceedings Article | |