Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005

MaRDI QIDQ373517zbMATH OpenFDO

Authors

Publication date 17 October 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/147/1

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Proceedings of the 7th international workshop on rule based programming (RULE 2006), Seattle, WA, USA, August 11, 2006
• Proceedings of the 8th international workshop on rule based programming (RULE 2007), Paris, France, June 29, 2007
• 9th international workshop on rule-based programming (Rule 2008), Hagenberg Castle, Hagenberg, Austria, July 14--18, 2008
• RULE 2001. Proceedings of the 2nd international workshop on rule-based programming (Satellite Event of PLI 2001), Florence, Italy, September 4, 2001
• Logic programming '86. Proceedings of the 5th conference, Tokyo, Japan, June 23--26, 1986
• From Rules to Constraint Programs with the Rules2CP Modelling Language
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Logic programming '87. Proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987
• Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1--2, 2006
• Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16--17, 2006

This page was built for publication: Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q373517)