Ian Green

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Higher-order annotated terms for proof search	2024-07-05	Paper
Using a generalisation critic to find bisimulations for coinductive proofs Automated Deduction—CADE-14	2019-10-01	Paper
The use of embeddings to provide a clean separation of term and annotation for higher order rippling Journal of Automated Reasoning	2011-06-03	Paper
On process equivalence = equation solving in CCS Journal of Automated Reasoning	2009-09-01	Paper
scientific article; zbMATH DE number 1929303 (Why is no real title available?)	2003-06-17	Paper
Planning proofs of equations in CCS Automated Software Engineering	2003-02-17	Paper
scientific article; zbMATH DE number 1787153 (Why is no real title available?)	2002-08-21	Paper
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts Annals of Mathematics and Artificial Intelligence	2002-06-27	Paper
On automating diagrammatic proofs of arithmetic arguments Journal of Logic, Language and Information	2000-07-31	Paper
scientific article; zbMATH DE number 1405455 (Why is no real title available?)	2000-02-23	Paper
scientific article; zbMATH DE number 1341612 (Why is no real title available?)	1999-09-22	Paper

Research outcomes over time

This page was built for person: Ian Green