See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

On bounded reachability of programs with set comprehensions

Veanes, Margus; Saabas, Ando (2008). On bounded reachability of programs with set comprehensions. Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings, 5330. Ed. Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei. Berlin: Springer, 305−317. (Lecture Notes in Artificial Intelligence).10.1007/978-3-540-89439-1_22.
publitseeritud konverentsiettekanne
Veanes, Margus; Saabas, Ando
  • Inglise
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei
Berlin
Springer
978-3-540-89438-4
5330
Lecture Notes in Artificial Intelligence
2008
305317
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

dx.doi.org/10.1007/978-3-540-89439-1_22