Person:540692

Available identifiers

zbMath Open green.ianMaRDI QIDQ540692

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ian Green