Pages that link to "Item:Q2451829"
From MaRDI portal
The following pages link to Functional and logic programming. 12th international symposium, FLOPS 2014, Kanazawa, Japan, June 4--6, 2014. Proceedings (Q2451829):
Displaying 6 items.
- Functional and logic programming. 11th international symposium, FLOPS 2012, Kobe, Japan, May 23--25, 2012. Proceedings (Q424414) (← links)
- Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9--11, 2018. Proceedings (Q1748152) (← links)
- Functional and logic programming. 10th international symposium, FLOPS 2010, Sendai, Japan, April 19--21, 2010. Proceedings (Q2380983) (← links)
- Functional and logic programming. 9th international symposium, FLOPS 2008, Ise, Japan, April 14--16, 2008. Proceedings (Q2481537) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- (Q4811281) (← links)