Vyacheslav Petukhin Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1997
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVyacheslav Petukhin: Embedded Implications as a Generalization of Negation as Failure. ICLP 1997: 420
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVyacheslav Petukhin: Programs with Universally Quantified Embedded Implications. LPNMR 1997: 310-324
1993
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann: Memory Management of Constraint in Flang. ICLP 1993: 633-646
1992
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Mantsivoda, Vyacheslav Petukhin: Compiling Flang. CC 1992: 297-311
1991
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Mantsivoda, Vyacheslav Petukhin: Implementation of the Functional-Logic Language Flang. PDK 1991: 420-421
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Mantsivoda, Vyacheslav Petukhin: Compiling Flang. RCLP 1991: 286-293

Coauthor Index

1Andrei Mantsivoda [1] [2] [3] [4]
2Alexei Weimann [4]

Copyright © Fri Dec 4 16:04:45 2009 by Michael Ley (ley@uni-trier.de)