![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
19th LOPSTR 2009: Coimbra, Portugal
- Danny De Schreye
:
Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Lecture Notes in Computer Science 6037, Springer 2010, ISBN 978-3-642-12591-1 - Germán Vidal
:
Towards Scalable Partial Evaluation of Declarative Programs. 1-4 - Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Deciding Full Branching Time Logic by Program Transformation. 5-21 - Paolo Pilozzi, Tom Schrijvers
, Maurice Bruynooghe:
A Transformational Approach for Proving Properties of the CHR Constraint Store. 22-36 - Peter Schneider-Kamp
, Jürgen Giesl
, Manh Thang Nguyen:
The Dependency Triple Framework for Termination of Logic Programs. 37-51 - José Iborra, Naoki Nishida, Germán Vidal
:
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. 52-66 - Marcin Czenko, Sandro Etalle:
LP with Flexible Grouping and Aggregates Using Modes. 67-81 - Hirohisa Seki:
On Inductive and Coinductive Proofs via Unfold/Fold Transformations. 82-96 - Richard Min, Gopal Gupta:
Coinductive Logic Programming with Negation. 97-112 - Susumu Nishimura:
Refining Exceptions in Four-Valued Logic. 113-127 - François Degrave, Tom Schrijvers
, Wim Vanhoof:
Towards a Framework for Constraint-Based Test Case Generation. 128-142 - Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk
:
Using Rewrite Strategies for Testing BUpL Agents. 143-157 - Carl Friedrich Bolz
, Michael Leuschel, Armin Rigo:
Towards Just-In-Time Partial Evaluation of Prolog. 158-172 - Leonardo Scandolo
, César Kunz, Manuel V. Hermenegildo
:
Program Parallelization Using Synchronized Pipelining. 173-187 - María Alpuente
, Marco A. Feliú, Christophe Joubert
, Alicia Villanueva
:
Defining Datalog in Rewriting Logic. 188-204
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.