Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ian Green
@article{DBLP:journals/jar/DennisGS11,
author = {Louise A. Dennis and
Ian Green and
Alan Smaill},
title = {The Use of Embeddings to Provide a Clean Separation of Term and Annotation
for Higher Order Rippling},
journal = {J. Autom. Reason.},
volume = {47},
number = {1},
pages = {57--105},
year = {2011},
url = {https://doi.org/10.1007/s10817-010-9177-y},
doi = {10.1007/S10817-010-9177-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DennisGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MonroyBG09,
author = {Ra{\'{u}}l Monroy and
Alan Bundy and
Ian Green},
title = {On Process Equivalence = Equation Solving in {CCS}},
journal = {J. Autom. Reason.},
volume = {43},
number = {1},
pages = {53--80},
year = {2009},
url = {https://doi.org/10.1007/s10817-009-9125-x},
doi = {10.1007/S10817-009-9125-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MonroyBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/02/JamnikBG02,
author = {Mateja Jamnik and
Alan Bundy and
Ian Green},
editor = {Michael Anderson and
Bernd Meyer and
Patrick Olivier},
title = {On Automating Diagrammatic Proofs of Arithmetic Arguments},
booktitle = {Diagrammatic Representation and Reasoning},
pages = {315--338},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-1-4471-0109-3\_18},
doi = {10.1007/978-1-4471-0109-3\_18},
timestamp = {Thu, 18 Jun 2020 16:53:07 +0200},
biburl = {https://dblp.org/rec/books/sp/02/JamnikBG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DennisBG00,
author = {Louise A. Dennis and
Alan Bundy and
Ian Green},
title = {Making a productive use of failure to generate witnesses for coinduction
from divergent proof attempts},
journal = {Ann. Math. Artif. Intell.},
volume = {29},
number = {1-4},
pages = {99--138},
year = {2000},
url = {https://doi.org/10.1023/A:1018940332714},
doi = {10.1023/A:1018940332714},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/DennisBG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MonroyBG00,
author = {Ra{\'{u}}l Monroy and
Alan Bundy and
Ian Green},
title = {Planning Proofs of Equations in {CCS}},
journal = {Autom. Softw. Eng.},
volume = {7},
number = {3},
pages = {263--304},
year = {2000},
url = {https://doi.org/10.1023/A:1008770222354},
doi = {10.1023/A:1008770222354},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/MonroyBG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/MonroyBG00,
author = {Ra{\'{u}}l Monroy and
Alan Bundy and
Ian Green},
editor = {Osvaldo Cair{\'{o}} and
Luis Enrique Sucar and
Francisco J. Cantu},
title = {Searching for a Solution to Program Verification=Equation Solving
in {CCS}},
booktitle = {{MICAI} 2000: Advances in Artificial Intelligence, Mexican International
Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1793},
pages = {1--12},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720076\_1},
doi = {10.1007/10720076\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/MonroyBG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/ArmandoSG99,
author = {Alessandro Armando and
Alan Smaill and
Ian Green},
title = {Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm},
journal = {Autom. Softw. Eng.},
volume = {6},
number = {4},
pages = {329--356},
year = {1999},
url = {https://doi.org/10.1023/A:1008763422061},
doi = {10.1023/A:1008763422061},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/ArmandoSG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/JamnikBG99,
author = {Mateja Jamnik and
Alan Bundy and
Ian Green},
title = {On Automating Diagrammatic Proofs of Arithmetic Arguments},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {3},
pages = {297--321},
year = {1999},
url = {https://doi.org/10.1023/A:1008323427489},
doi = {10.1023/A:1008323427489},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/JamnikBG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/JanicicBG99,
author = {Predrag Janicic and
Alan Bundy and
Ian Green},
editor = {Harald Ganzinger},
title = {A Framework for the Flexible Integration of a Class of Decision Procedures
into Theorem Provers},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {127--141},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_9},
doi = {10.1007/3-540-48660-7\_9},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/JanicicBG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GowBG99,
author = {Jeremy Gow and
Alan Bundy and
Ian Green},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Extensions to the Estimation Calculus},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {258--272},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_16},
doi = {10.1007/3-540-48242-3\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GowBG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RichardsonSG98,
author = {Julian Richardson and
Alan Smaill and
Ian Green},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: Proof Planning in Higher-Order Logic with Lambda-Clam},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {129--133},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054254},
doi = {10.1007/BFB0054254},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/RichardsonSG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MonroyBG98,
author = {Ra{\'{u}}l Monroy and
Alan Bundy and
Ian Green},
editor = {Henri Prade},
title = {Observant: An Annotated Term-Rewriting System for Deciding Observation
Congruence},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {393--397},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/MonroyBG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MonroyBG98,
author = {Ra{\'{u}}l Monroy and
Alan Bundy and
Ian Green},
title = {Planning Equational Verification in {CCS}},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {43--52},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732569},
doi = {10.1109/ASE.1998.732569},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MonroyBG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DennisBG97,
author = {Louise A. Dennis and
Alan Bundy and
Ian Green},
editor = {William McCune},
title = {Using {A} Generalisation Critic to Find Bisimulations for Coinductive
Proofs},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {276--290},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_29},
doi = {10.1007/3-540-63104-6\_29},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/DennisBG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JamnikBG97,
author = {Mateja Jamnik and
Alan Bundy and
Ian Green},
title = {Automation of Diagrammatic Reasoning},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {528--533},
publisher = {Morgan Kaufmann},
year = {1997},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JamnikBG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArmandoSG97,
author = {Alessandro Armando and
Alan Smaill and
Ian Green},
title = {Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {2--9},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632818},
doi = {10.1109/ASE.1997.632818},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ArmandoSG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SmaillG96,
author = {Alan Smaill and
Ian Green},
editor = {Joakim von Wright and
Jim Grundy and
John Harrison},
title = {Higher-Order Annotated Terms for Proof Search},
booktitle = {Theorem Proving in Higher Order Logics, 9th International Conference,
TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1125},
pages = {399--413},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0105418},
doi = {10.1007/BFB0105418},
timestamp = {Thu, 05 Sep 2019 14:51:32 +0200},
biburl = {https://dblp.org/rec/conf/tphol/SmaillG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/MaddenG94,
author = {Peter Madden and
Ian Green},
editor = {Jacques Calmet and
John A. Campbell},
title = {A General Technique for Automatically Optimizing Programs Through
the Use of Proof Plans},
booktitle = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {958},
pages = {64--79},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60156-2\_6},
doi = {10.1007/3-540-60156-2\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/MaddenG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/YoshidaBGWB94,
author = {Tetsuya Yoshida and
Alan Bundy and
Ian Green and
Toby Walsh and
David A. Basin},
editor = {Anthony G. Cohn},
title = {Coloured Rippling: An Extension of a Theorem Proving Heuristic},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
Amsterdam, The Netherlands, August 8-12, 1994},
pages = {85--89},
publisher = {John Wiley and Sons, Chichester},
year = {1994},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/ecai/YoshidaBGWB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MaddenHGB93,
author = {Peter Madden and
Jane Hesketh and
Ian Green and
Alan Bundy},
editor = {Yves Deville},
title = {A General Technique for Automatically Generating Efficient Programs
Through the Use of Proof Planning (Abstract)},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
93, International Workshop on Logic Program Synthesis and Transformation,
Louvain-la-Neuve, Belgium, 7-9 July 1993},
series = {Workshops in Computing},
pages = {64--66},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/MaddenHGB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Green91,
author = {Ian Green},
editor = {Thomas L. Dean and
Kathleen R. McKeown},
title = {Using Abstraction to Automate Program Improvement by Transformation},
booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
Anaheim, CA, USA, July 14-19, 1991, Volume 1},
pages = {317--322},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1991},
url = {http://www.aaai.org/Library/AAAI/1991/aaai91-049.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Green91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
