|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rachid Echahed (eds.) |
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP@RDP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen |
Inferring Static Non-monotone Size-aware Types Through Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP@RDP ![In: Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007, pp. 45-63, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Lux |
Declarative Debugging Meets the World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP@RDP ![In: Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007, pp. 65-77, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Murdoch Gabbay, Michael Gabbay 0001 |
a-Logic With Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP@RDP ![In: Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007, pp. 3-29, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Echahed |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP@RDP ![In: Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007, pp. 1-2, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi |
Computational Origami Construction as Constraint Solving and Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP@RDP ![In: Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007, pp. 31-44, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Braßel, Sebastian Fischer 0001, Frank Huch |
Declaring Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP@RDP ![In: Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007, pp. 111-124, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michele Baggi, Demis Ballis |
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP@RDP ![In: Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007, pp. 93-109, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
A New Proposal for Debugging Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP@RDP ![In: Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007, pp. 79-92, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|