Vyacheslav Petukhin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1991–1997
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICLP | Embedded Implications as a Generalization of Negation as Failure. | Vyacheslav Petukhin |
| 1997 | LPNMR | Programs with Universally Quantified Embedded Implications. | Vyacheslav Petukhin |
| 1993 | ICLP | Memory Management of Constraint in Flang. | Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann |
| 1992 | CC | Compiling Flang. | Andrei Mantsivoda, Vyacheslav Petukhin |
| 1991 | LPAR | Compiling Flang. | Andrei Mantsivoda, Vyacheslav Petukhin |