The SCEAS System
| |||||||

## 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.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |