Wiesław Pawłowski

From MaRDI portal
Person:2784629

Available identifiers

zbMath Open pawlowski.wieslawMaRDI QIDQ2784629

List of research outcomes





PublicationDate of PublicationType
Parchments for CafeOBJ logics2014-03-25Paper
Presenting and combining inference systems. Presentations with inference rules2010-04-20Paper
Modular system development with pullbacks2010-03-31Paper
A multi-facet approach to dynamic agent systems2009-01-28Paper
Expressing and verifying temporal and structural properties of mobile agents2006-09-06Paper
Recent Trends in Algebraic Development Techniques2005-11-11Paper
https://portal.mardi4nfdi.de/entity/Q44717232004-07-30Paper
Bayesian network mining systems2002-10-16Paper
https://portal.mardi4nfdi.de/entity/Q38364931999-12-07Paper
https://portal.mardi4nfdi.de/entity/Q38390611999-03-02Paper
https://portal.mardi4nfdi.de/entity/Q38390621998-08-13Paper
https://portal.mardi4nfdi.de/entity/Q43629671998-02-17Paper

Research outcomes over time

This page was built for person: Wiesław Pawłowski

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2784629&oldid=7234820"
Powered by MediaWiki