Ian Green

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