Search

Your search keyword '"Jael Kriener"' showing total 12 results

Search Constraints

Start Over You searched for: Author "Jael Kriener" Remove constraint Author: "Jael Kriener"
12 results on '"Jael Kriener"'

Search Results

Catalog

Books, media, physical & digital resources

8. Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics

9. Proofs You Can Believe In. Proving Equivalences Between Prolog Semantics in Coq

10. Resourceful Reachability as HORN-LA

11. Mutual Exclusion by Interpolation

12. RedAlert: Determinacy Inference for Prolog