Travelled to:
1 × Belgium
Collaborated with:
F.Nielson H.R.Nielson
Talks about:
point (1) logic (1) layer (1) fix (1)
Person: Piotr Filipiuk
DBLP: Filipiuk:Piotr
Contributed to:
Wrote 1 papers:
- PPDP-2012-FilipiukNN #fixpoint #logic
- Layered fixed point logic (PF, FN, HRN), pp. 45–54.