Travelled to:1 × Sweden
1 × USA
Collaborated with:∅ T.Gergely
Talks about:program (2) logic (2) comparison (1) languag (1) formula (1) cuttabl (1) studi (1) case (1) two (1)
Person: Miklós Szöts
DBLP: Sz=ouml=ts:Mikl=oacute=s
Contributed to:
19841984Wrote 2 papers:
- ILPC-1984-Miklos84 #case study #comparison #logic programming #programming language
- A Comparison of two Logic Programming Languages: A Case Study (MS), pp. 41–51.
- SLP-1984-GergelyS84 #logic programming
- Cuttable Formulas for Logic Programming (TG, MS), pp. 299–310.