Searching for authors named "Adam Koprowski" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Coq formalization of the higher-order recursive path ordering
- …Coq Formalization of the Higher-Order Recursive Path Ordering Abstract Adam Koprowski Recursive…
- Add To MetaCart
-
TPA: Termination proved automatically
- …TPA: Termination Proved Automatically Adam Koprowski April 2006 Abstract TPA is a tool for proving…
- Cited by 8 (4 self) – Add To MetaCart
-
Well-foundedness of the higher-order recursive path ordering in Coq
- …, Informatics and Mechanics Master of Science thesis by Adam Koprowski Well-foundedness of the higher…
- Cited by 5 (4 self) – Add To MetaCart
-
Certified higher-order recursive path ordering
- …Certified Higher-Order Recursive Path Ordering Adam Koprowski Eindhoven University of Technology…
- Cited by 3 (3 self) – Add To MetaCart
-
Proving Liveness with Fairness using Rewriting
- …Proving Liveness with Fairness using Rewriting Adam Koprowski and Hans Zantema Technical…
- Cited by 3 (1 self) – Add To MetaCart
-
Certification of proving termination of term rewriting by matrix interpretations
- …Certification of Proving Termination of Term Rewriting by Matrix Interpretations Adam Koprowski…
- Cited by 1 (1 self) – Add To MetaCart
-
Automation of recursive path ordering for infinite labelled rewrite systems
- … Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems Adam Koprowski…
- Cited by 3 (2 self) – Add To MetaCart
-
Certification of matrix interpretations in Coq
- …Certification of Matrix Interpretations in Coq Adam Koprowski and Hans Zantema Eindhoven…
- Cited by 1 (1 self) – Add To MetaCart
-
Predictive labeling with dependency pairs using SAT
- …Predictive Labeling with Dependency Pairs using SAT Adam Koprowski 1 and Aart Middeldorp 2⋆ 1…
- Cited by 1 (1 self) – Add To MetaCart
-
Arctic Termination... Below Zero
- …Arctic Termination . . . Below Zero Adam Koprowski 1 and Johannes Waldmann 2 1 Department…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
