T. Gelsema

From MaRDI portal



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!

PublicationDate of PublicationType
An exercise in structural congruence
Information Processing Letters
2010-01-29Paper
A new natural structural congruence in the pi-calculus with replication
Acta Informatica
2004-12-13Paper
Structural inclusion in the pi-calculus with replication
Theoretical Computer Science
2001-08-20Paper
Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition
Acta Informatica
1999-04-26Paper
Multisets and structural congruence of the pi-calculus with replication
Theoretical Computer Science
1999-01-12Paper


Research outcomes over time


This page was built for person: T. Gelsema