Searching for authors named "Teodor Knapik" – sorted by Relevance.
-
Specifications with Observable Formulae and Observational Satisfaction Relation
- Specifications with Observable Formulae and Observational Satisfaction Relation Teodor KNAPIK
- Cited by 3 (0 self) – Add To MetaCart
-
Hyperalgebraic Trees, First-Order Substitution and Monadic Second-Order Logic
- and Teodor Knapik 1 Introduction While the study of nite structures, in particular of graphs, has a long
- Add To MetaCart
-
On a Chomsky like Hierarchy of Infinite Graphs
- On a Chomskylike Hierarchy of Innite Graphs Didier Caucal 1 and Teodor Knapik 2 1 IRISACNRS
- Add To MetaCart
-
The Evaluation of First-Order Substitution is Monadic Second-Order Compatible
- and Teodor Knapik b a Universite Bordeaux 1 LaBRI (CNRS laboratory n 5800) 351 Cours de la Liberation
- Cited by 3 (0 self) – Add To MetaCart
-
Synchronized Product of Linear Bounded Machines
- Synchronized Product of Linear Bounded Machines Teodor Knapik and ' Etienne Payet IREMIA
- Cited by 7 (1 self) – Add To MetaCart
-
Observational Approaches in Algebraic Specifications: a Comparative Study
- BIDOIT Teodor KNAPIK Laboratoire d'Informatique, URA 1327 du CNRS D'epartement de Math'ematiques et d
- Cited by 2 (1 self) – Add To MetaCart
-
Towards an Adequate Notion of Observation
- Towards an adequate notion of observation Gilles Bernot Michel Bidoit Teodor Knapik LIENS c
- Cited by 7 (2 self) – Add To MetaCart
-
Observational Specifications and the Indistinguishability Assumption
- Teodor Knapik LIENS c.n.r.s. u.r.a. 1327 Ecole Normale Sup'erieure 45 Rue d'Ulm F -- 75230 Paris Cedex
- Cited by 18 (0 self) – Add To MetaCart
-
On Internal Presentation of Regular Graphs
- On Internal Presentation of Regular Graphs Didier Caucal 1 and Teodor Knapik 2 1 IRISACNRS
- Add To MetaCart
-
Deciding Monadic Theories of Hyperalgebraic Trees
- Deciding monadic theories of hyperalgebraic trees Teodor Knapik 1 , Damian Niwiski 2
- Cited by 6 (4 self) – Add To MetaCart

