Vyacheslav Petukhin

According to our database, Vyacheslav Petukhin authored at least 5 papers between 1991 and 1997.

Collaborative distances:

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

1997

Programs with Universally Quantified Embedded Implications.

Vyacheslav Petukhin

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Embedded Implications as a Generalization of Negation as Failure.

Vyacheslav Petukhin

Proceedings of the Logic Programming, 1997

1993

Memory Management of Constraint in Flang.

Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann

Proceedings of the Logic Programming, 1993

1992

Compiling Flang.

Andrei Mantsivoda, Vyacheslav Petukhin

Proceedings of the Compiler Construction, 1992

1991

Implementation of the Functional-Logic Language Flang.

Andrei Mantsivoda, Vyacheslav Petukhin

Proceedings of the Processing Declarative Knowledge, 1991