| |
| 1997 | ||
|---|---|---|
| 6 | Vyacheslav Petukhin: Embedded Implications as a Generalization of Negation as Failure. ICLP 1997: 420 | |
| 5 | Vyacheslav Petukhin: Programs with Universally Quantified Embedded Implications. LPNMR 1997: 310-324 | |
| 1993 | ||
| 4 | Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann: Memory Management of Constraint in Flang. ICLP 1993: 633-646 | |
| 1992 | ||
| 3 | Andrei Mantsivoda, Vyacheslav Petukhin: Compiling Flang. CC 1992: 297-311 | |
| 1991 | ||
| 2 | Andrei Mantsivoda, Vyacheslav Petukhin: Implementation of the Functional-Logic Language Flang. PDK 1991: 420-421 | |
| 1 | Andrei Mantsivoda, Vyacheslav Petukhin: Compiling Flang. RCLP 1991: 286-293 | |
| 1 | Andrei Mantsivoda | [1] [2] [3] [4] |
| 2 | Alexei Weimann | [4] |