Results 251 to 260 of about 130,902 (295)
Some of the next articles are maybe not open access.
An Outlier Detection Algorithm for Electric Power Data Based on DBSCAN and LOF
, 2020Z. Hongyan +5 more
semanticscholar +1 more source
Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System
Foundations of Software Science and Computation Structure, 2017Stefano Berardi, M. Tatsuta
semanticscholar +1 more source
A Coq formalization of normalization by evaluation for Martin-Löf type theory
Certified Programs and Proofs, 2018Pawel Wieczorek, Dariusz Biernacki
semanticscholar +1 more source

