Travelled to:1 × Canada
2 × USA
Collaborated with:∅ A.V.Gelder
Talks about:program (3) logic (3) argument (2) size (2) constraint (1) analysi (1) termin (1) ground (1) detect (1) relat (1)
Person: Kirack Sohn
DBLP: Sohn:Kirack
Contributed to:
1994
19931991Wrote 3 papers:
- PODS-1994-Sohn #constraints #logic programming #source code
- Constraints among Argument Sizes in Logic Programs (KS), pp. 68–74.
- ILPS-1993-Sohn #analysis #logic programming #relational #source code
- Relational Groundness Analysis for Logic Programs (KS), p. 635.
- PODS-1991-SohnG #detection #logic programming #source code #termination #using
- Termination Detection in Logic Programs using Argument Sizes (KS, AVG), pp. 216–226.