Travelled to:1 × Czech Republic
Collaborated with:P.J.Voda
Talks about:theorem (1) program (1) parson (1) comput (1) péter (1)
Person: Ján Komara
DBLP: Komara:J=aacute=n
Contributed to:
1998Wrote 1 papers:
- CSL-1998-KomaraV #programming #theorem
- Theorems af Péter and Parsons in Computer Programming (JK, PJV), pp. 204–223.