MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Vitaly Lagoon – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Precise Pair-Sharing Analysis of Logic Programs  
  • by Vitaly Lagoon And, Vitaly Lagoon, Peter J. Stuckey — 2002 — In Proc. of the 4th international ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP
  • …Precise Pair-Sharing Analysis of Logic Programs Vitaly Lagoon and Peter J. Stuckey Department…
  • Add To MetaCart
  • Sat solving for argument filterings  
  • by Michael Codish, Vitaly Lagoon, René Thiemann, Jürgen Giesl — 2006 — In Logic for Programming, Artificial Intelligence and Reasoning (LPAR
  • …SAT Solving for Argument Filterings ⋆ Michael Codish 1 , Peter Schneider–Kamp 2 , Vitaly Lagoon 3…
  • Cited by 8 (6 self) – Add To MetaCart
  • A Framework for Analysis of Typed Logic Programs  
  • by Vitaly Lagoon, Peter J. Stuckey — 2001 — IN PROCEEDINGS OF THE FIFTH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING, VOLUME 2024 OF LECTURE NOTES IN COMPUTER SCIENCE
  • …A Framework for Analysis of Typed Logic Programs Vitaly Lagoon and Peter J. Stuckey Dept…
  • Cited by 12 (5 self) – Add To MetaCart
  • Termination Analysis with Types is More Accurate  
  • by Vitaly Lagoon, Fred Mesnard, Peter J. Stuckey — 2003 — In ICLP 2003: Proceedings of the 19th International Conference on Logic Programming, C. Palamidessi, Ed. Lecture Notes in Computer Science
  • …Termination Analysis with Types is More Accurate Vitaly Lagoon 1 , Fred Mesnard 2 , and Peter J…
  • Cited by 10 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB