Piotr Filipiuk
Piotr Filipiuk
Flemming Nielson
Hanne Riis Nielson
Layered fixed point logic.
45-54
2012
PPDP
https://doi.org/10.1145/2370776.2370784
https://www.wikidata.org/entity/Q59416320
conf/ppdp/2012
db/conf/ppdp/ppdp2012.html#FilipiukNN12
Piotr Filipiuk
Flemming Nielson
Hanne Riis Nielson
Layered Fixed Point Logic
http://arxiv.org/abs/1204.2768
2012
CoRR
abs/1204.2768
db/journals/corr/corr1204.html#abs-1204-2768
Piotr Filipiuk
Flemming Nielson
Hanne Riis Nielson
Lattice based Least Fixed Point Logic
http://arxiv.org/abs/1207.5384
2012
CoRR
abs/1207.5384
db/journals/corr/corr1207.html#abs-1207-5384
Piotr Filipiuk
Michal Terepeta
Hanne Riis Nielson
Flemming Nielson
Galois Connections for Flow Algebras.
138-152
2011
FMOODS/FORTE
https://doi.org/10.1007/978-3-642-21461-5_9
conf/forte/2011
db/conf/forte/forte2011.html#FilipiukTNN11
Piotr Filipiuk
Hanne Riis Nielson
Flemming Nielson
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints.
15-28
2010
conf/tapas2/2010
TAPAS@SAS
https://doi.org/10.1016/j.entcs.2010.09.015
https://www.wikidata.org/entity/Q59416338
db/conf/tapas2/tapas2010.html#FilipiukNN10
Flemming Nielson
Hanne Riis Nielson
Michal Terepeta