Searching for "Tatzelwurm." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
