The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pierre Flener" ( http://dblp.L3S.de/Authors/Pierre_Flener )

URL (Homepage):  https://orcid.org/0000-0001-8730-4098  Author page on DBLP  Author page in RDF  Community of Pierre Flener in ASPL-2

Publication years (Num. hits)
1990-1998 (16) 1999-2003 (16) 2004-2009 (22) 2010-2013 (22) 2014-2016 (16) 2017-2019 (9)
Publication types (Num. hits)
article(32) book(1) incollection(7) inproceedings(60) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 15 keywords

Results
Found 102 publication records. Showing 101 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gustav Björdal, Pierre Flener, Justin Pearson Generating Compound Moves in Local Search by Hybridisation with Complete Search. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack Declarative Local-Search Neighbourhoods in MiniZinc. Search on Bibsonomy ICTAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Ute Schmid Programming by Demonstration. Search on Bibsonomy Encyclopedia of Machine Learning and Data Mining The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Ute Schmid Inductive Programming. Search on Bibsonomy Encyclopedia of Machine Learning and Data Mining The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Ute Schmid Trace-Based Programming. Search on Bibsonomy Encyclopedia of Machine Learning and Data Mining The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette Auto-tabling for subproblem presolving in MiniZinc. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte 0001 Design and Implementation of Bounded-Length Sequence Variables. Search on Bibsonomy CPAIOR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson Automatic Generation of Descriptions of Time-Series Constraints. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson A parametric propagator for pairs of Sum constraints with a discrete convexity property. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis Global Constraint Catalog, Volume II, Time-Series Constraints. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack MiniZinc with Strings. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis Time-Series Constraints: Improvements and Application in CP and MIP Contexts. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack MiniZinc with Strings. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gustav Björdal, Jean-Noël Monette, Pierre Flener, Justin Pearson A constraint-based local search backend for MiniZinc. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joseph D. Scott, Pierre Flener, Justin Pearson Constraint Solving on Bounded String Variables. Search on Bibsonomy CPAIOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jean-Noël Monette, Pierre Flener, Justin Pearson Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson Implied Constraints for Automaton Constraints. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme A Modelling Pearl with Sortedness Constraints. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Pierre Flener, Justin Pearson Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis Toward sustainable development in constraint programming. Search on Bibsonomy Constraints The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck Propagating Regular Counting Constraints. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Jean-Noël Monette, Pierre Flener, Justin Pearson A Propagator Design Framework for Constraints over Sequences. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck Propagating Regular Counting Constraints. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Pierre Flener, Justin Pearson Automatic Airspace Sectorisation: A Survey. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Jun He 0001, Pierre Flener, Justin Pearson Underestimating the cost of a soft constraint is dangerous: revisiting the edit-distance based soft regular constraint. Search on Bibsonomy J. Heuristics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson On the reification of global constraints. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson On matrices, automata, and double counting in constraint programming. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Farshid Hassani Bijarbooneh, Pierre Flener, Edith Cheuk-Han Ngai, Justin Pearson Optimising quality of information in data collection for mobile sensor networks. Search on Bibsonomy IWQoS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson Generation of Implied Constraints for Automaton-Induced Decompositions. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joseph D. Scott, Pierre Flener, Justin Pearson Bounded Strings for Constraint Programming. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jun He 0001, Pierre Flener, Justin Pearson, Wei Ming Zhang Solving String Constraints: The Case for Constraint Programming. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cyril Allignol, Nicolas Barnier, Pierre Flener, Justin Pearson Constraint programming for air traffic management: a survey - In memory of Pascal Brisset. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Marc Bourgois Constraint programming for air traffic management: preface. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Toni Mancini, Pierre Flener, Justin Pearson Combinatorial problem solving over relational databases: view synthesis through constraint-based local search. Search on Bibsonomy SAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jun He 0001, Pierre Flener, Justin Pearson Solution neighbourhoods for constraint-directed local search. Search on Bibsonomy SAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Farshid Hassani Bijarbooneh, Pierre Flener, Edith C. H. Ngai, Justin Pearson An optimisation-based approach for wireless sensor deployment in mobile sensing environments. Search on Bibsonomy WCNC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jean-Noël Monette, Pierre Flener, Justin Pearson Towards Solver-Independent Propagators. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jun He 0001, Pierre Flener, Justin Pearson An automaton Constraint for Local Search. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Ute Schmid Programming by Demonstration. Search on Bibsonomy Encyclopedia of Machine Learning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Ute Schmid Trace-Based Programming. Search on Bibsonomy Encyclopedia of Machine Learning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Ute Schmid Inductive Programming. Search on Bibsonomy Encyclopedia of Machine Learning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson On Matrices, Automata, and Double Counting. Search on Bibsonomy CPAIOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson Contingency Plans for Air Traffic Management. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Meinolf Sellmann Static and dynamic structural symmetry breaking. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jun He 0001, Pierre Flener, Justin Pearson Toward an automaton Constraint for Local Search Search on Bibsonomy LSCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results Search on Bibsonomy LSCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren 0002 Dynamic structural symmetry breaking for constraint satisfaction problems. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Dominance detection, CSP, Tractability, Symmetry breaking
1Pierre Flener, Mats Carlsson, Christian Schulte 0001 Constraint Programming in Sweden. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Pierre Flener, Justin Pearson Revisiting constraint-directed search. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson Solving necklace constraint problems. Search on Bibsonomy J. Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson Constrained Optimization Over Massive Databases. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Pierre Flener, Ute Schmid An introduction to inductive programming. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Inductive programming, Machine learning
1Nicolas Beldiceanu, Pierre Flener, Xavier Lorca Combining Tree Partitioning, Precedence, and Incomparability Constraints. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Digraph partitioning, Tree constraint, Incomparability constraint, Ordered disjoint paths problem, Phylogenetic supertree problem, Filtering, Tree, Global constraint, Precedence constraint, Hamiltonian path problem
1Pierre Flener, Justin Pearson Solving Necklace Constraint Problems. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Pierre Flener, Justin Pearson Generic Incremental Algorithms for Local Search. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Monadic existential second-order logic, Local search, Global constraint
1Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson Design of Financial CDO Squared Transactions Using Constraint Programming. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming
1Pierre Flener Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations. Search on Bibsonomy ISCIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Pierre Flener, Justin Pearson Inferring Variable Conflicts for Local Search. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck Static and Dynamic Structural Symmetry Breaking. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Pierre Flener, Xavier Lorca The tree Constraint. Search on Bibsonomy CPAIOR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Pierre Flener, Justin Pearson Set Variables and Local Search. Search on Bibsonomy CPAIOR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Pierre Flener, Justin Pearson Incremental Algorithms for Local Search from Existential Second-Order Logic. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren 0002 Compositional Derivation of Symmetries for Constraint Satisfaction. Search on Bibsonomy SARA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Luis G. Reyna Financial Portfolio Optimisation. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson Synthesis of Programs in Computational Logic. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Perry Alexander, Pierre Flener Guest Editorial: ASE 2000 Special Issue. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Magnus Ågren 0002 Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Justin Pearson, Magnus Ågren 0002 Introducing esra, a Relational Language for Modelling Combinatorial Problems. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren 0002 Tractable Symmetry Breaking for CSPs with Interchangeable Values. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Pierre Flener Achievements and Prospects of Program Synthesis. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh Breaking Row and Column Symmetries in Matrix Models. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Derek Partridge Inductive Programming. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Brahim Hnich, Zeynep Kiziltan A Meta-heuristic for Subset Problems. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Brahim Hnich, Zeynep Kiziltan Compiling High-Level Type Constructors in Constraint Programming. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Zeynep Kiziltan, Pierre Flener, Brahim Hnich Towards Inferring Labelling Heuristics for CSP Application Domains. Search on Bibsonomy KI/ÖGAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Brahim Hnich, Pierre Flener High-Level Reformulation of Constraint Programs. Search on Bibsonomy JFPLC The full citation details ... 2001 DBLP  BibTeX  RDF
1Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel Foreword to the Special Issue on Schemas. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson An Abstract Formalization of Correct Schemas for Program Synthesis. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Pierre Flener A New Declarative Bias for ILP: Construction Modes. Search on Bibsonomy ILP Work-in-progress reports The full citation details ... 2000 DBLP  BibTeX  RDF
1Pierre Flener, Serap Yilmaz Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Pierre Flener Completing open logic programs by constructive induction. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Baudouin Le Charlier, Pierre Flener Specifications are necessarily informal or: Some more myths of formal methods. Search on Bibsonomy Journal of Systems and Software The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Hamza Zidoum, Brahim Hnich Schema-Guided Synthesis of Constraint Logic Programs. Search on Bibsonomy ASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Hamza Zidoum, Pierre Flener, Brahim Hnich Schema-Guided Synthesis of CLP Programs. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Baudouin Le Charlier, Pierre Flener On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Kung-Kiu Lau, Mario Ornaghi Correct-Schema-Guided Synthesis of Steadfast Programs. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF steadfast programs, semi-automated software development, schema correctness, structured program design principles, hierarchical program synthesis, syntactic representation, higher-order expressions, informal knowledge capture, program schema formalisation, open first-order logical theory, open logic program, logic programming, program synthesis, domain knowledge
1Pierre Flener, Kung-Kiu Lau, Mario Ornaghi On Correct Program Schemas. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Halime Büyükyildiz, Pierre Flener Generalised Logic Program Transformation Schemas. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Pierre Flener Inductive Logic Program Synthesis with DIALOGS. Search on Bibsonomy Inductive Logic Programming Workshop The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Pierre Flener Logic program synthesis from incomplete information. Search on Bibsonomy 1995   RDF
1Pierre Flener, Yves Deville Logic Program Transformation through Generalization Schemata. Search on Bibsonomy LOPSTR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Lubos Popelínský On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. Search on Bibsonomy LOPSTR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Yves Deville Logic Program Synthesis from Incomplete Specifications. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Yves Deville SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. Search on Bibsonomy LPE The full citation details ... 1992 DBLP  BibTeX  RDF
1Pierre Flener, Yves Deville Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. Search on Bibsonomy ICLP Workshop on Construction of Logic Programs The full citation details ... 1991 DBLP  BibTeX  RDF
1Pierre Flener, Yves Deville Towards Stepwise, Schema-guided Synthesis of Logic Programms. Search on Bibsonomy LOPSTR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 101 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license