# | | Year | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
1 |
| Vakarelov, Dimiter |
| |
1 |
| |
1 |
| Vallduvi, Enric (ed.) |
| |
2 |
| |
22 |
| van der Torre, Leendert W. N. |
| |
1 |
| van Emde Boas, Peter (ed.) |
| |
2 |
| Van Hentenryck, Pascal (ed.) |
| |
1 |
| |
1 |
| Vardi, Moshe |
| |
1 |
| |
1 |
| Vaz de Carvalho, Júlia (ed.) |
| |
10 |
| |
| | 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 | 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 | |
| | 2000 | [Levy, Jordi]
Veanes, Margus | | | On the Undecidability of Second-Order Unification
In: Information and Computation [159], 125-150 | Journal Article | |
| | 2000 | Veanes, Margus | | | Farmer's Theorem Revisited
In: Information Processing Letters [74], 47-53 | Journal Article | |
| | 1999 | Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | [Wiedermann, Jiri]
[van Emde Boas, Peter]
[Nielsen, Mogen] | | 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 | Ganzinger, Harald
Meyer, Christoph
Veanes, Margus | [Longo, Giuseppe] | | 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 | |
| | 1999 | [Gurevich, Yuri]
Veanes, Margus | | | Logic with Equality: Partisan Corroboration and Shifted Pairing
In: Information and Computation [152], 205-235 | Journal Article | |
| | 1998 | [Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei] | [Nipkow, Tobias] | | 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 | |
| | 1998 | Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | [Hsiang, Jieh]
[Ohori, Atsushi] | | Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21 | Proceedings Article | |
| | 1998 | Veanes, Margus | Pratt, Vaughan | | The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 264-275 | Proceedings Article | |
1 |
| Vehi, Josep |
| |
1 |
| |
1 |
| Ventura, Paolo |
| |
9 |
| |
1 |
| Vigneron, Laurent (ed.) |
| |
1 |
| |
1 |
| Vojtas, Peter (ed.) |
| |
1 |
| |