Vyacheslav Petukhin

Publication Activity (10 Years)

Years Active: 1991-1997
Publications (10 Years): 0

Publications

Vyacheslav Petukhin
Programs with Universally Quantified Embedded Implications. LPNMR (1997)
Vyacheslav Petukhin
Embedded Implications as a Generalization of Negation as Failure. ICLP (1997)
Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann
Memory Management of Constraint in Flang. ICLP (1993)
Andrei Mantsivoda, Vyacheslav Petukhin
Compiling Flang. CC (1992)
Andrei Mantsivoda, Vyacheslav Petukhin
Implementation of the Functional-Logic Language Flang. PDK (1991)
Andrei Mantsivoda, Vyacheslav Petukhin
Compiling Flang. RCLP (1991)