Monica Nesi

Available identifiers

zbMath Open nesi.monicaMaRDI QIDQ672234

List of research outcomes

Publication	Date of Publication	Type
Mechanizing a proof by induction of process algebra specifications in higher order logic	2024-04-29	Paper
A strategy to deal with divergent rewrite systems	2023-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q2848483	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2844070	2013-08-27	Paper
On structural properties of eta-expansions of identity	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3431408	2007-04-10	Paper
Formalising a value-passing calculus in H0L	2000-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4222877	1998-12-20	Paper
Deciding observational congruence of finite-state CCS expressions by rewriting	1997-02-28	Paper
Infinite normal forms for non-linear term rewriting systems	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4035244	1993-05-18	Paper
Complete sets of axioms for finite basic LOTOS behavioural equivalences	1993-01-16	Paper
A rewriting strategy to verify observational congruence	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3814799	1988-01-01	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: Monica Nesi