Searching for authors named "Teodor Knapik" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
