Concepedia

Noam Zeilberger

NZ

10

Publications

299

Citations

10

H-Index

2008

Active since

Affiliations

Carnegie Mellon University(Current)

Laboratoire d'Informatique de l'École Polytechnique

École Polytechnique

Centre National de la Recherche Scientifique

Centre Inria de Saclay

Noam Zeilberger is an author at Carnegie Mellon University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningLinguisticsFormal MethodsLanguageSemanticsProgramming LanguagesSyntaxGrammar

Publications per year

2008–2020

10

Publications

10

On the unity of duality

Noam Zeilberger · Annals of Pure and Applied Logic · 2008 · 60 citations

Topological Semigroups, Engineering, Representation Theory +3

The logical basis of evaluation order and pattern-matching

Frank Pfenning, Peter Lee, Noam Zeilberger · 2009 · 46 citations

Reasoning, Focusing Proofs, Non-monotonic Logic +15

Focusing and higher-order abstract syntax

Noam Zeilberger · 2008 · 45 citations

Engineering, Higher-order Logic, Semantics +17

Functors are Type Refinement Systems

Paul-André Melliès, Noam Zeilberger · 2014 · 43 citations · Full text

Automated Reasoning, Type Theory, Dependently Typed Programming +8

Focusing on Binding and Computation

Daniel R. Licata, Noam Zeilberger, Robert Harper · Proceedings - Symposium on Logic in Computer Science · 2008 · 43 citations · Full text

Engineering, Computational Model Theory, Computational Complexity +17

Rows per page

1–5 of 10