Naomi Lindenstrauss

From MaRDI portal
Person:199248

Available identifiers

zbMath Open lindenstrauss.naomiMaRDI QIDQ199248

List of research outcomes





PublicationDate of PublicationType
What is the satisfiability threshold of random balanced Boolean expressions?2023-10-17Paper
An abstract concurrent machine for rewriting2022-08-16Paper
Segments on the Right Branch of a Binary Tree2021-01-13Paper
Program Development in Computational Logic2005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q45371282002-11-06Paper
https://portal.mardi4nfdi.de/entity/Q31530702002-11-04Paper
https://portal.mardi4nfdi.de/entity/Q45342962002-06-06Paper
A general framework for automatic termination analysis od logic programs2001-08-26Paper
https://portal.mardi4nfdi.de/entity/Q44992422001-03-05Paper

Research outcomes over time

This page was built for person: Naomi Lindenstrauss

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:199248&oldid=6648878"
Powered by MediaWiki