dblp.uni-trier.dewww.uni-trier.de

Stephen Murrell

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
5EERobert Plant, Stephen Murrell: A natural language help system shell through functional programming. Knowl.-Based Syst. 18(1): 19-35 (2005)
1996
4EEStephen Murrell, Robert Plant: On the validation and verification of production systems: a graph reduction approach. Int. J. Hum.-Comput. Stud. 44(2): 127-144 (1996)
1995
3EEStephen Murrell, Robert Plant: Formal semantics for rule-based systems. Journal of Systems and Software 29(3): 251-259 (1995)
2EEStephen Murrell, Robert Plant: Graph reduction implementation of a production system. Knowl.-Based Syst. 8(4): 155-163 (1995)
1 Stephen Murrell, Robert Plant: Decision Tables: Formalisation, Validation and Verification. Softw. Test., Verif. Reliab. 5(2): 107-132 (1995)

Coauthor Index

1Robert Plant [1] [2] [3] [4] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)