Valentinas Kriauciukas

Publication Activity (10 Years)

Years Active: 1986-1995
Publications (10 Years): 0

Publications

Valentinas Kriauciukas, Michal Walicki
Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. COMPASS/ADT (1995)
Valentinas Kriauciukas, Michal Walicki
Reasoning and Rewriting with Set-Relations I: Ground Completeness. CSL (1994)
Valentinas Kriauciukas
Nonclassical Models for Logic Programs. PDK (1991)
Valentinas Kriauciukas
Tree-Like Parse and Polynomial Subclasses of Search Problems. Inf. Process. Lett. 22 (1) (1986)