Mordechai Ben-Ari

Available identifiers

zbMath Open ben-ari.mordechaiDBLPb/MBenAriWikidataQ6909646 ScholiaQ6909646MaRDI QIDQ213481

List of research outcomes

Publication	Date of Publication	Type
Mathematical Surprises	2022-09-05	Paper
Elements of Robotics	2018-03-26	Paper
Mathematical Logic for Computer Science	2012-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q5452300	2008-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q4472456	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4471633	2004-07-30	Paper
Theory-guided technology in computer science	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2724155	2001-07-09	Paper
How to solve the Santa Claus problem	1999-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4293537	1994-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q3997236	1993-01-23	Paper
Algorithms for on-the-fly garbage collection	1984-01-01	Paper
The temporal logic of branching time	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3318086	1982-01-01	Paper
Deterministic propositional dynamic logic: finite models, complexity, and completeness	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3947098	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3917484	1981-01-01	Paper
Cheap concurrent programming	1981-01-01	Paper
A simplified proof that regular resolution is exponential	1980-01-01	Paper
On Transposing Large 2nx 2nMatrices	1979-01-01	Paper

Research outcomes over time

This page was built for person: Mordechai Ben-Ari