Valentinas Kriauciukas

According to our database, Valentinas Kriauciukas authored at least 4 papers between 1986 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1995

Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness.

Valentinas Kriauciukas, Michal Walicki

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Reasoning and Rewriting with Set-Relations I: Ground Completeness.

Valentinas Kriauciukas, Michal Walicki

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1991

Nonclassical Models for Logic Programs.

Valentinas Kriauciukas

Proceedings of the Processing Declarative Knowledge, 1991

1986

Tree-Like Parse and Polynomial Subclasses of Search Problems.

Valentinas Kriauciukas

Inf. Process. Lett., 1986