Teodor Knapik

Available identifiers

Publication	Date of Publication	Type
Shelah-Stupp’s Iteration and Muchnik’s Iteration	2018-05-24	Paper
The full quotient and its closure property for regular languages	2016-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q2911647	2012-08-31	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
Automata, Languages and Programming	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4738227	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4708568	2003-06-18	Paper
Checking simple properties of transition systems defined by Thue specifications	2002-08-20	Paper
The evaluation of first-order substitution is monadic second-order compatible	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2778825	2002-03-21	Paper
An internal presentation of regular graphs by prefix-recognizable graphs	2001-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4503965	2001-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4934344	2000-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4934253	2000-01-17	Paper
Observational specifications and the indistinguishability assumption	1997-02-28	Paper
Behavioural approaches to algebraic specifications. A comparative study	1994-12-18	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Teodor Knapik