Teodor Knapik

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
Shelah-Stupp's iteration and Muchnik's iteration Fundamenta Informaticae	2018-05-24	Paper
The full quotient and its closure property for regular languages Information Processing Letters	2016-06-09	Paper
Higher order indexed monadic systems	2012-08-31	Paper
Mathematical Foundations of Computer Science 2003 Lecture Notes in Computer Science	2007-12-07	Paper
Automata, Languages and Programming Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 2087432 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1929936 (Why is no real title available?)	2003-06-18	Paper
Checking simple properties of transition systems defined by Thue specifications Journal of Automated Reasoning	2002-08-20	Paper
The evaluation of first-order substitution is monadic second-order compatible Theoretical Computer Science	2002-07-15	Paper
scientific article; zbMATH DE number 1722657 (Why is no real title available?)	2002-03-21	Paper
An internal presentation of regular graphs by prefix-recognizable graphs Theory of Computing Systems	2001-11-21	Paper
scientific article; zbMATH DE number 1507241 (Why is no real title available?)	2001-09-03	Paper
scientific article; zbMATH DE number 1390078 (Why is no real title available?)	2000-11-07	Paper
scientific article; zbMATH DE number 1389858 (Why is no real title available?)	2000-01-17	Paper
Observational specifications and the indistinguishability assumption Theoretical Computer Science	1997-02-28	Paper
Behavioural approaches to algebraic specifications. A comparative study Acta Informatica	1994-12-18	Paper

Research outcomes over time

This page was built for person: Teodor Knapik