Ian Green
According to our database1,
Ian Green
authored at least 20 papers
between 1991 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
0
1
2
3
4
5
1
1
1
2
2
1
2
3
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling.
J. Autom. Reason., 2011
2009
2002
Proceedings of the Diagrammatic Representation and Reasoning, 2002
2000
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts.
Ann. Math. Artif. Intell., 2000
Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000
1999
Autom. Softw. Eng., 1999
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.
Proceedings of the Automated Deduction, 1999
1998
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998
Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
Proceedings of the Automated Deduction, 1998
1997
Automation of Diagrammatic Reasoning.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Proceedings of the Automated Deduction, 1997
1996
Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996
1994
Coloured Rippling: An Extension of a Theorem Proving Heuristic.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994
A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans.
Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994
1993
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).
Proceedings of the Logic Program Synthesis and Transformation, 1993
1991
Proceedings of the 9th National Conference on Artificial Intelligence, 1991