Ian Green

Available identifiers

zbMath Open green.ianMaRDI QIDQ540692

List of research outcomes

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	2019-10-01	Paper
The use of embeddings to provide a clean separation of term and annotation for higher order rippling	2011-06-03	Paper
On process equivalence = equation solving in CCS	2009-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4708424	2003-06-17	Paper
Planning proofs of equations in CCS	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4548193	2002-08-21	Paper
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts	2002-06-27	Paper
On automating diagrammatic proofs of arithmetic arguments	2000-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4938430	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4263161	1999-09-22	Paper

Research outcomes over time

This page was built for person: Ian Green