Leo Bachmair
Jump to navigation
Jump to search
This person was found in either the SIGSAM or JSYMCOMP bibliographies. There may be some errors in how their name was transcribed.
The following are their known coauthors:
Nachum Dershowitz with a tentative wikidata QID: Q18209412