Search the dblp DataBase
Ian Green :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ian Green Using Abstraction to Automate Program Improvement by Transformation. [Citation Graph (0, 0)][DBLP ] AAAI, 1991, pp:317-322 [Conf ] Peter Madden , Ian Green A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. [Citation Graph (0, 0)][DBLP ] AISMC, 1994, pp:64-79 [Conf ] Louise A. Dennis , Alan Bundy , Ian Green Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. [Citation Graph (0, 0)][DBLP ] CADE, 1997, pp:276-290 [Conf ] Predrag Janicic , Alan Bundy , Ian Green A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. [Citation Graph (0, 0)][DBLP ] CADE, 1999, pp:127-141 [Conf ] Julian Richardson , Alan Smaill , Ian Green System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. [Citation Graph (0, 0)][DBLP ] CADE, 1998, pp:129-133 [Conf ] Raul Monroy , Alan Bundy , Ian Green Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. [Citation Graph (0, 0)][DBLP ] ECAI, 1998, pp:393-397 [Conf ] Tetsuya Yoshida , Alan Bundy , Ian Green , Toby Walsh , David A. Basin Coloured Rippling: An Extension of a Theorem Proving Heuristic. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:85-89 [Conf ] Mateja Jamnik , Alan Bundy , Ian Green Automation of Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1997, pp:528-533 [Conf ] Alessandro Armando , Alan Smaill , Ian Green Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. [Citation Graph (0, 0)][DBLP ] ASE, 1997, pp:2-9 [Conf ] Raul Monroy , Alan Bundy , Ian Green Planning Equational Verification in CCS. [Citation Graph (0, 0)][DBLP ] ASE, 1998, pp:43-52 [Conf ] Peter Madden , Jane Hesketh , Ian Green , Alan Bundy A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). [Citation Graph (0, 0)][DBLP ] LOPSTR, 1993, pp:64-66 [Conf ] Jeremy Gow , Alan Bundy , Ian Green Extensions to the Estimation Calculus. [Citation Graph (0, 0)][DBLP ] LPAR, 1999, pp:258-272 [Conf ] Raul Monroy , Alan Bundy , Ian Green Searching for a Solution to Program Verification=Equation Solving in CCS. [Citation Graph (0, 0)][DBLP ] MICAI, 2000, pp:1-12 [Conf ] Alan Smaill , Ian Green Higher-Order Annotated Terms for Proof Search. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1996, pp:399-413 [Conf ] Louise A. Dennis , Alan Bundy , Ian Green Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:99-138 [Journal ] Alessandro Armando , Alan Smaill , Ian Green Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1999, v:6, n:4, pp:329-356 [Journal ] Raul Monroy , Alan Bundy , Ian Green Planning Proofs of Equations in CCS. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2000, v:7, n:3, pp:263-304 [Journal ] Mateja Jamnik , Alan Bundy , Ian Green On Automating Diagrammatic Proofs of Arithmetic Arguments. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 1999, v:8, n:3, pp:297-321 [Journal ] Search in 0.002secs, Finished in 0.003secs