L. J. Steggles

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!

Publication	Date of Publication	Type
Higher-order algebra with transfinite types Higher-Order Algebra, Logic, and Term Rewriting	2019-01-11	Paper
A case for using signal transition graphs for analysing and refining genetic networks Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
An abstraction theory for qualitative models of biological systems Theoretical Computer Science	2012-05-30	Paper
Verifying an infinite systolic algorithm using third-order equational methods The Journal of Logic and Algebraic Programming	2006-08-17	Paper
scientific article; zbMATH DE number 1755151 (Why is no real title available?)	2002-06-13	Paper
Correctness of dataflow and systolic algorithms using algebras of streams Acta Informatica	2001-12-13	Paper
scientific article; zbMATH DE number 1543358 (Why is no real title available?)	2001-02-27	Paper
scientific article; zbMATH DE number 1231671 (Why is no real title available?)	1999-01-07	Paper
scientific article; zbMATH DE number 1088024 (Why is no real title available?)	1997-11-17	Paper

Research outcomes over time

This page was built for person: L. J. Steggles