Leszek Holenderski

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
On the combination of synchronous languages	2025-03-19	Paper
scientific article; zbMATH DE number 1696509 (Why is no real title available?)	2002-06-17	Paper
scientific article; zbMATH DE number 1744970 (Why is no real title available?)	2002-05-23	Paper
scientific article; zbMATH DE number 1693448 (Why is no real title available?)	2002-01-22	Paper
scientific article; zbMATH DE number 1670549 (Why is no real title available?)	2002-01-06	Paper
scientific article; zbMATH DE number 1629963 (Why is no real title available?)	2001-11-06	Paper
scientific article; zbMATH DE number 1390249 (Why is no real title available?)	2000-09-18	Paper
Propositional description of finite cause-effect structures Information Processing Letters	1988-01-01	Paper
Incompleteness of first-order temporal logic with until Theoretical Computer Science	1988-01-01	Paper
The correctness of nondeterministic programs revisited Information Processing Letters	1986-01-01	Paper
A note on specifying and verifying concurrent processes Information Processing Letters	1984-01-01	Paper

Research outcomes over time

This page was built for person: Leszek Holenderski