|
|
|
|
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  |
WFLP@RDP  |
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. |
WFLP@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Lux |
Declarative Debugging Meets the World. |
WFLP@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Murdoch Gabbay, Michael Gabbay 0001 |
a-Logic With Arrows. |
WFLP@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Echahed |
Preface. |
WFLP@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi |
Computational Origami Construction as Constraint Solving and Rewriting. |
WFLP@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Braßel, Sebastian Fischer 0001, Frank Huch |
Declaring Numbers. |
WFLP@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Baggi, Demis Ballis |
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. |
WFLP@RDP |
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. |
WFLP@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license