Miklós Szöts 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 keys2007
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiklós Szöts, Tamás Gröbler, András Simonyi: How to Represent Meanings in an Ontology. Acta Cybern. 18(2): 329-340 (2007)
1984
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiklós Szöts: A Comparison of two Logic Programming Languages: A Case Study. ICLP 1984: 41-51
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamás Gergely, Miklós Szöts: Cuttable Formulas for Logic Programming. SLP 1984: 299-310
1982
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiklós Szöts, Sándor Csizmazia: A method for program synthesis. Symposium on Programming 1982: 368-380
1980
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamás Gergely, Miklós Szöts: On the incompleteness of proving partial correctness. Acta Cybern. 4: 45-57 (1980)
1973
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLD. Holnapy, Miklós Szöts, A. Botár: A Generalization of the Method of Finite Differences. Inf. Process. Lett. 2(2): 55-59 (1973)

Coauthor Index

1A. Botár [1]
2Sándor Csizmazia [3]
3Tamás Gergely [2] [4]
4Tamás Gröbler [6]
5D. Holnapy [1]
6András Simonyi [6]

Colors in the list of coauthors

Copyright © Mon Dec 7 15:48:47 2009 by Michael Ley (ley@uni-trier.de)