Pages that link to "Item:Q2435190"
From MaRDI portal
The following pages link to Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3--4, 2008 (Q2435190):
Displaying 4 items.
- MERLIN 2001. Proceedings of the workshop on mechanized reasoning about languages with variable binding (in connection with IJCAR 2001), Siena, Italy, June 18, 2001 (Q1954167) (← links)
- WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13--15, 2001 (Q2377208) (← links)
- LFM 2002. Proceedings of the 3rd international workshop on logical frameworks and meta-languages (FLoC satellite event), Copenhagen, Denmark, July 26, 2002 (Q2392566) (← links)
- (Q3012058) (← links)