Ian Green

According to our database, Ian Green authored at least 20 papers between 1991 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling.

Louise A. Dennis, Ian Green, Alan Smaill

J. Autom. Reason., 2011

2009

On Process Equivalence = Equation Solving in CCS.

Raúl Monroy, Alan Bundy, Ian Green

J. Autom. Reason., 2009

2002

On Automating Diagrammatic Proofs of Arithmetic Arguments.

Mateja Jamnik, Alan Bundy, Ian Green

Proceedings of the Diagrammatic Representation and Reasoning, 2002

2000

Planning Proofs of Equations in CCS.

Raúl Monroy, Alan Bundy, Ian Green

Autom. Softw. Eng., 2000

Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts.

Louise A. Dennis, Alan Bundy, Ian Green

Ann. Math. Artif. Intell., 2000

Searching for a Solution to Program Verification=Equation Solving in CCS.

Raúl Monroy, Alan Bundy, Ian Green

Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

1999

On Automating Diagrammatic Proofs of Arithmetic Arguments.

Mateja Jamnik, Alan Bundy, Ian Green

J. Log. Lang. Inf., 1999

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.

Alessandro Armando, Alan Smaill, Ian Green

Autom. Softw. Eng., 1999

Extensions to the Estimation Calculus.

Jeremy Gow, Alan Bundy, Ian Green

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.

Predrag Janicic, Alan Bundy, Ian Green

Proceedings of the Automated Deduction, 1999

1998

Planning Equational Verification in CCS.

Raúl Monroy, Alan Bundy, Ian Green

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence.

Raúl Monroy, Alan Bundy, Ian Green

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

System Description: Proof Planning in Higher-Order Logic with Lambda-Clam.

Julian Richardson, Alan Smaill, Ian Green

Proceedings of the Automated Deduction, 1998

1997

Automation of Diagrammatic Reasoning.

Mateja Jamnik, Alan Bundy, Ian Green

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs.

Louise A. Dennis, Alan Bundy, Ian Green

Proceedings of the Automated Deduction, 1997

1996

Higher-Order Annotated Terms for Proof Search.

Alan Smaill, Ian Green

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1994

Coloured Rippling: An Extension of a Theorem Proving Heuristic.

Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans.

Peter Madden, Ian Green

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).

Peter Madden, Jane Hesketh, Ian Green, Alan Bundy

Proceedings of the Logic Program Synthesis and Transformation, 1993

1991

Using Abstraction to Automate Program Improvement by Transformation.

Ian Green

Proceedings of the 9th National Conference on Artificial Intelligence, 1991