Ordered rewriting and confluence

von Martin, Ursula
Veröffentlicht 1989

A Verified Decision Procedure for Orders in Isabelle/HOL.

von Stevens, Lukas
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Higher order rewrite systems and their confluence

von Mayr, Richard
Veröffentlicht 1994

Term rewriting and all that

von Baader, Franz
Veröffentlicht 1998

Term rewriting and all that

von Baader, Franz
Veröffentlicht 1999

Concrete semantics : with Isabelle/HOL

von Nipkow, Tobias
Veröffentlicht 2014

Verification of Closest Pair of Points Algorithms

von Rau, Martin
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

Term rewriting and all that

von Baader, Franz
Veröffentlicht 1999

A Verified Implementation of B*-Trees in Isabelle/HOL

von Mündler, Niels
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)

Verification of NP-Hardness Reduction Functions for Exact Lattice Problems

von Kreuzer, Katharina
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Isabelle’s Metalogic: Formalization and Proof Checker

von Nipkow, Tobias
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 ; proceedings

Veröffentlicht 1998

Isabelle : a generic theorem prover

Veröffentlicht 1994

Rewriting techniques and applications : 9th international conference ; proceedings

Veröffentlicht 1998

Rewriting techniques and applications : 9th international conference ; proceedings

Veröffentlicht 1998

Special issue / RTA-98 : [selected papers from the 9th International Conference on Rewriting Techniques and Applications, held from March 30 to April 1, 1998, Tsukuba, Japan]

Veröffentlicht 2000

Higher-order rewrite systems and their confluence

von Mayr, Richard
Veröffentlicht 1994

Venfied Approximation Algorithms

von Eßmann, Robin
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

Isabelle/HOL : a proof assistant for higher-order logic

von Nipkow, Tobias
Veröffentlicht 2002

Isabelle, HOL : a proof assistant for higher order logic

von Nipkow, Tobias
Veröffentlicht 2002