Zohar Manna
Papers
2
Total Citations
77
H-Index
2
About
No biography available yet.
Research Focus
Programming language2 · 77 citations
Unification2 · 77 citations
Block (permutation group theory)2 · 77 citations
Mathematical proof2 · 77 citations
Mathematics2 · 77 citations
Plan (archaeology)2 · 77 citations
Computer science2 · 77 citations
Artificial intelligence2 · 77 citations
Theoretical computer science2 · 77 citations
Resolution (logic)1 · 66 citations
Rule of inference1 · 66 citations
Axiom1 · 66 citations
Key Achievements
2
H-Index
2
Papers
77
Total Citations
39
Avg Citations/Paper
🏆 Most Cited Paper
How to clear a block: A theory of plans
66 citations · 1987
📈 Most Prolific Year: 1987 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Stanford University
Top Papers
- 1How to clear a block: A theory of plans66 citations · 1987
- 2How to clear a block: Plan formation in situational logic11 citations · 1986
Key Collaborators
Not generated yet