Searching for authors named Dieter Hutter – sorted by Relevance.
41 documents found, showing 1 through 10.
Next 10 →
-
Possibilistic information flow control in MAKS and action refinement
- …Possibilistic Information Flow Control in MAKS and Action Refinement ⋆ Dieter Hutter German…
- Cited by 2 (0 self) – Add To MetaCart
-
Towards a Generic Management of Change
- …Towards a Generic Management of Change Dieter Hutter German Research Center for Artificial…
- Cited by 4 (0 self) – Add To MetaCart
-
Colouring Terms to Control Equational Reasoning
- …Colouring Terms to Control Equational Reasoning Dieter Hutter German Research Center…
- Cited by 24 (13 self) – Add To MetaCart
-
Proof transformations for evolutionary formal software development
- …Proof Transformations for Evolutionary Formal Software Development Axel Schairer and Dieter Hutter…
- Cited by 3 (1 self) – Add To MetaCart
-
Annotated Reasoning
- …Annals of Mathematics and Articial Intelligence 0 (2000) ?{? 1 Annotated Reasoning Dieter Hutter…
- Cited by 8 (3 self) – Add To MetaCart
-
Structuring Deduction by Using Abstractions
- …Structuring Deduction by Using Abstractions Dieter Hutter German Research Center for Artificial…
- Cited by 2 (0 self) – Add To MetaCart
-
Equalizing Terms by Difference Reduction Techniques
- …Equalising Terms by Difference Reduction Techniques Dieter Hutter y Abstract In the field…
- Cited by 3 (0 self) – Add To MetaCart
-
Using Rippling for Equational Reasoning
- …Using Rippling for Equational Reasoning Dieter Hutter German Research Center for Artificial…
- Cited by 6 (3 self) – Add To MetaCart
-
Using Rippling to Prove the Termination of Algorithms
- … Rippling to Prove the Termination of Algorithms Dieter Hutter February 1997 Deutsches Forschungszentrum f…
- Add To MetaCart
-
Management of Change in Structured Verification
- …Management of Change in Structured Verification Dieter Hutter German Research Center for Artificial…
- Cited by 13 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
