default search action

combined dblp search
author search
venue search
publication search

ask others

Miklós Szöts

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sped/GergelyHSSC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sped/GergelyHSSC17
Tamás Gergely, Edit Halmay, Miklós Szöts, George Suciu, Romulus Cheveresan:
Semantics driven intelligent front-end. SpeD 2017: 1-8
2010
[j4]
- view
  - electronic edition @ u-szeged.hu
  - no references & citations available
- export record
  dblp key:
  - journals/actaC/SimonyiS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/actaC/SimonyiS10
András Simonyi, Miklós Szöts:
An Ontology Segmentation Tool. Acta Cybern. 19(3): 591-605 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[j3]
- view
  - electronic edition @ u-szeged.hu
  - no references & citations available
- export record
  dblp key:
  - journals/actaC/SzotsGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/actaC/SzotsGS07
Miklós Szöts, Tamás Gröbler, András Simonyi:
How to Represent Meanings in an Ontology. Acta Cybern. 18(2): 329-340 (2007)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1984
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/Miklos84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Miklos84
Miklós Szöts:
A Comparison of two Logic Programming Languages: A Case Study. ICLP 1984: 41-51
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/slp/GergelyS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/GergelyS84
Tamás Gergely, Miklós Szöts:
Cuttable Formulas for Logic Programming. SLP 1984: 299-310
1982
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/programm/SzotsC82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programm/SzotsC82
Miklós Szöts, Sándor Csizmazia:
A method for program synthesis. Symposium on Programming 1982: 368-380

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1978
[j2]
- view
  - electronic edition @ u-szeged.hu
  - no references & citations available
- export record
  dblp key:
  - journals/actaC/GergelyS80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/actaC/GergelyS80
Tamás Gergely, Miklós Szöts:
On the incompleteness of proving partial correctness. Acta Cybern. 4(1): 45-57 (1978)
1973
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/HolnapySB73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/HolnapySB73
D. Holnapy, Miklós Szöts, A. Botár:
A Generalization of the Method of Finite Differences. Inf. Process. Lett. 2(2): 55-59 (1973)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.