Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Miklós Szöts" ( http://dblp.L3S.de/Authors/Miklós_Szöts )

  Author page on DBLP  Author page in RDF  Community of Miklós Szöts in ASPL-2

Publication years (Num. hits)
1973-2010 (7)
Publication types (Num. hits)
article(4) inproceedings(3)
Venues (Conferences, Journals, ...)
Acta Cybern.(3) ICLP(1) Inf. Process. Lett.(1) SLP(1) Symposium on Programming(1)
Authors
Miklós Szöts(7) András Simonyi(2) Tamás Gergely(2) A. Botár(1) D. Holnapy(1) Sándor Csizmazia(1) Tamás Gröbler(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1András Simonyi, Miklós Szöts An Ontology Segmentation Tool. Search on Bibsonomy Acta Cybern. The full citation details ... 2010 DBLP  BibTeX  RDF
1Miklós Szöts, Tamás Gröbler, András Simonyi How to Represent Meanings in an Ontology. Search on Bibsonomy Acta Cybern. The full citation details ... 2007 DBLP  BibTeX  RDF
1Miklós Szöts A Comparison of two Logic Programming Languages: A Case Study. Search on Bibsonomy ICLP The full citation details ... 1984 DBLP  BibTeX  RDF
1Tamás Gergely, Miklós Szöts Cuttable Formulas for Logic Programming. Search on Bibsonomy SLP The full citation details ... 1984 DBLP  BibTeX  RDF
1Miklós Szöts, Sándor Csizmazia A method for program synthesis. Search on Bibsonomy Symposium on Programming The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Tamás Gergely, Miklós Szöts On the incompleteness of proving partial correctness. Search on Bibsonomy Acta Cybern. The full citation details ... 1980 DBLP  BibTeX  RDF
1D. Holnapy, Miklós Szöts, A. Botár A Generalization of the Method of Finite Differences. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.