Ian Green

Publication Activity (10 Years)

Years Active: 1991-2011
Publications (10 Years): 0

Publications

Louise A. Dennis, Ian Green, Alan Smaill
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling. J. Autom. Reason. 47 (1) (2011)
Raúl Monroy, Alan Bundy, Ian Green
On Process Equivalence = Equation Solving in CCS. J. Autom. Reason. 43 (1) (2009)
Raúl Monroy, Alan Bundy, Ian Green
Searching for a Solution to Program Verification=Equation Solving in CCS. MICAI (2000)
Raúl Monroy, Alan Bundy, Ian Green
Planning Proofs of Equations in CCS. Autom. Softw. Eng. 7 (3) (2000)
Louise A. Dennis, Alan Bundy, Ian Green
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Ann. Math. Artif. Intell. 29 (1-4) (2000)
Alessandro Armando, Alan Smaill, Ian Green
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. Autom. Softw. Eng. 6 (4) (1999)
Mateja Jamnik, Alan Bundy, Ian Green
On Automating Diagrammatic Proofs of Arithmetic Arguments. J. Log. Lang. Inf. 8 (3) (1999)
Predrag Janicic, Alan Bundy, Ian Green
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. CADE (1999)
Jeremy Gow, Alan Bundy, Ian Green
Extensions to the Estimation Calculus. LPAR (1999)
Raúl Monroy, Alan Bundy, Ian Green
Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. ECAI (1998)
Raúl Monroy, Alan Bundy, Ian Green
Planning Equational Verification in CCS. ASE (1998)
Julian Richardson, Alan Smaill, Ian Green
System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. CADE (1998)
Louise A. Dennis, Alan Bundy, Ian Green
Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. CADE (1997)
Mateja Jamnik, Alan Bundy, Ian Green
Automation of Diagrammatic Reasoning. IJCAI (1) (1997)
Alessandro Armando, Alan Smaill, Ian Green
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. ASE (1997)
Alan Smaill, Ian Green
Higher-Order Annotated Terms for Proof Search. TPHOLs (1996)
Peter Madden, Ian Green
A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. AISMC (1994)
Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin
Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI (1994)
Peter Madden, Jane Hesketh, Ian Green, Alan Bundy
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). LOPSTR (1993)
Ian Green
Using Abstraction to Automate Program Improvement by Transformation. AAAI (1991)