dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Spiro Michaylov (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: An Abstract Machine for CLP(R). PLDI 1992: 128-139
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: The CLP(R) Language and System. ACM Trans. Program. Lang. Syst. 14(3): 339-395 (1992)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. J. Autom. Reasoning 9(2): 231-260 (1992)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: On Meta-Programming in CLR(R). NACLP 1989: 52-66
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. ICLP 1987: 675-703

Selection of 6 from 20 records - Spiro Michaylov has 13 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page