Login / Signup
Jan A. Bergstra
ORCID
Publication Activity (10 Years)
Years Active: 1977-2024
Publications (10 Years): 50
Top Topics
Knuth Bendix
Propositional Logic
Term Rewriting
Probability Functions
Top Venues
CoRR
Sci. Ann. Comput. Sci.
Fundam. Informaticae
J. Appl. Log.
</>
Publications
</>