Pierre Flener

Pierre Flener

2 books in the database

Books

Logic Program Synthesis from Incomplete InformationPierre Flener

Logic Program Synthesis from Incomplete Information

Pierre Flener · 1995

Logic-Based Program Synthesis and TransformationPierre Flener

Logic-Based Program Synthesis and Transformation

Pierre Flener · 2003