Yan Jurski

From MaRDI portal
Person:2917308



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
Rewriting systems over nested data words2012-09-28Paper
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Logical Methods in Computer Science
2009-06-30Paper
Rewriting Systems with Data
Fundamentals of Computation Theory
2008-02-26Paper
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes
Tools and Algorithms for the Construction and Analysis of Systems
2007-09-03Paper
scientific article; zbMATH DE number 1361127 (Why is no real title available?)1999-11-10Paper
scientific article; zbMATH DE number 1223619 (Why is no real title available?)1998-11-15Paper


Research outcomes over time


This page was built for person: Yan Jurski