List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| What is the satisfiability threshold of random balanced Boolean expressions? Random Structures & Algorithms | 2023-10-17 | Paper |
| An abstract concurrent machine for rewriting Algebraic and Logic Programming | 2022-08-16 | Paper |
| Segments on the Right Branch of a Binary Tree | 2021-01-13 | Paper |
| Program Development in Computational Logic Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 1760142 (Why is no real title available?) | 2002-11-06 | Paper |
| scientific article; zbMATH DE number 1823194 (Why is no real title available?) | 2002-11-04 | Paper |
| scientific article; zbMATH DE number 1751214 (Why is no real title available?) | 2002-06-06 | Paper |
| A general framework for automatic termination analysis od logic programs Applicable Algebra in Engineering, Communication and Computing | 2001-08-26 | Paper |
| scientific article; zbMATH DE number 1497822 (Why is no real title available?) | 2001-03-05 | Paper |
Research outcomes over time
This page was built for person: Naomi Lindenstrauss
