3,609 followers
Mechanised modal model theory. ~ Yiming Xu and Michael Norrish (2020). https://t.co/OngnDF9BXp #ITP #HOL4 #Logic
Mechanised modal model theory. ~ Yiming Xu and Michael Norrish (2020). https://t.co/OngnDF9BXp #ITP #HOL4 #Logic
@graydon_pub Check out the abstract! https://t.co/Nc0FKcuRD7
In Automated Reasoning, proceedings of the 10th International Joint Conference @ IJCAR - FSCD 2020 find the paper Subsumption Demodulation in First-Order Theorem Proving by Bernhard Gleiss, Laura Kovacs @tuvienna @ERC_Research & Jakob Rath #IJCAR20 ➡ h
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates https://t.co/3BIKC2eTln