Eric Steegmans

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
Language Support for Service Interactions in Service-Oriented Architecture
Communications in Computer and Information Science
2010-12-07Paper
scientific article; zbMATH DE number 2079042 (Why is no real title available?)2004-07-21Paper
scientific article; zbMATH DE number 2006487 (Why is no real title available?)2003-11-20Paper
scientific article; zbMATH DE number 1931758 (Why is no real title available?)2003-06-20Paper
A decision procedure for semantical equivalence of thin FM specifications
Journal of Pure and Applied Algebra
2000-05-30Paper
scientific article; zbMATH DE number 918294 (Why is no real title available?)1999-08-31Paper
scientific article; zbMATH DE number 918294 (Why is no real title available?)1999-08-31Paper
Proving semantical equivalence of data specifications
Journal of Pure and Applied Algebra
1997-07-16Paper
scientific article; zbMATH DE number 54327 (Why is no real title available?)1993-01-23Paper
scientific article; zbMATH DE number 3765106 (Why is no real title available?)1982-01-01Paper


Research outcomes over time


This page was built for person: Eric Steegmans