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

1991

Implementation of the Functional-Logic Language Flang.

Andrei Mantsivoda, Vyacheslav Petukhin

Proceedings of the Processing Declarative Knowledge, 1991

Compiling Flang.

Andrei Mantsivoda, Vyacheslav Petukhin

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991