The following pages link to Naomi Lindenstrauss (Q199248):
Displaying 8 items.
- (Q3153070) (← links)
- (Q4499242) (← links)
- (Q4534296) (← links)
- (Q4537128) (← links)
- An abstract concurrent machine for rewriting (Q5096204) (← links)
- Program Development in Computational Logic (Q5712541) (← links)
- A general framework for automatic termination analysis od logic programs (Q5941755) (← links)
- What is the satisfiability threshold of random balanced Boolean expressions? (Q6076769) (← links)