229 papers found
Refreshing results…
Notes from the Logbook of a Proof-Checker’s Project*
Download from www.researchgate.netAnnotating Large Genomes With Exact Word Matches
Download from genome.cshlp.orgDecision Procedures for Fragments of Set Theory with Monotone and Additive Functions
Download from www.researchgate.netMissing publications? Read more about our data sources.