|
Search the dblp DataBase
Vyacheslav Petukhin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Andrei Mantsivoda, Vyacheslav Petukhin
Compiling Flang. [Citation Graph (0, 0)][DBLP] CC, 1992, pp:297-311 [Conf]
- Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann
Memory Management of Constraint in Flang. [Citation Graph (0, 0)][DBLP] ICLP, 1993, pp:633-646 [Conf]
- Vyacheslav Petukhin
Embedded Implications as a Generalization of Negation as Failure. [Citation Graph (0, 0)][DBLP] ICLP, 1997, pp:420- [Conf]
- Andrei Mantsivoda, Vyacheslav Petukhin
Compiling Flang. [Citation Graph (0, 0)][DBLP] RCLP, 1991, pp:286-293 [Conf]
- Vyacheslav Petukhin
Programs with Universally Quantified Embedded Implications. [Citation Graph (0, 0)][DBLP] LPNMR, 1997, pp:310-324 [Conf]
- Andrei Mantsivoda, Vyacheslav Petukhin
Implementation of the Functional-Logic Language Flang. [Citation Graph (0, 0)][DBLP] PDK, 1991, pp:420-421 [Conf]
Search in 0.002secs, Finished in 0.002secs
|