Naomi Lindenstrauss

Available identifiers

zbMath Open lindenstrauss.naomiMaRDI QIDQ199248

List of research outcomes

Publication	Date of Publication	Type
What is the satisfiability threshold of random balanced Boolean expressions?	2023-10-17	Paper
An abstract concurrent machine for rewriting	2022-08-16	Paper
Segments on the Right Branch of a Binary Tree	2021-01-13	Paper
Program Development in Computational Logic	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4537128	2002-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q3153070	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4534296	2002-06-06	Paper
A general framework for automatic termination analysis od logic programs	2001-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4499242	2001-03-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Naomi Lindenstrauss