Searching for "Tatzelwurm." – sorted by Relevance.
-
Tableau Prover Tatzelwurm: Hyper-Links and UR-Resolution
- Tableau Prover Tatzelwurm: Hyper-Links and UR-Resolution Carsten Bierwald Thomas Kufl Universitt
- Cited by 2 (1 self) – Add To MetaCart
-
Th.: Adding Semantic Hyper-Links and UR-Resolution to the Tableau Prover Tatzelwurm
- Adding Semantic Hyper-Links and UR-Resolution to the Tableau Prover Tatzelwurm Carsten Bierwald
- Cited by 2 (1 self) – Add To MetaCart
-
Operation Refinement for VDM-like Specifications
- properties and applications to term rewriting systems. Journal of the ACM 27(4), 797--821 , October 1980. [41] G' erard Huet and Derek C. Oppen. Equations and rewrite rules: A survey. In R. V. Book, editor, Formal Languages: Perspectives and Open Problem, pages 349--405. Academic Press, 1980. [42] C
- Add To MetaCart
-
Towards Reliable Information Systems: The KorSo Approach
- changing to the animation. Shell Tatzelwurm ..... ...... the units and their services) Unix
- Cited by 7 (6 self) – Add To MetaCart
-
Automatic Synthesis of Control Software for an Industrial Automation Control System
- and testing using SDT, no verification. 1 month 1800 lines (SDL92) NA NA NA NA Tatzelwurm About 600 lines
- Cited by 1 (0 self) – Add To MetaCart
-
Applications of Automatic Theorem Proving, are there any and for whom?
- ). But typically this can not be taken for granted. Example and Own Experience Tatzelwurm is a character from old
- Add To MetaCart

