Piotr Filipiuk

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c2		Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Layered fixed point logic. PPDP 2012: 45-54
i2		Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Layered Fixed Point Logic. CoRR abs/1204.2768 (2012)
i1		Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Lattice based Least Fixed Point Logic. CoRR abs/1207.5384 (2012)
	2011
c1		Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson: Galois Connections for Flow Algebras. FMOODS/FORTE 2011: 138-152
	2010
j1		Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson: Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. Electr. Notes Theor. Comput. Sci. 267(2): 15-28 (2010)

Coauthor Index

Last update Fri May 24 01:32:44 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page