Results 291 to 300 of about 914,128 (308)
Some of the next articles are maybe not open access.
"Schema Abstraction" in a Multiple-Trace Memory Model
, 1986D. L. Hintzman
semanticscholar +1 more source
Idealization and abstraction: refining the distinction
Synthese, 2018Arnon Levy
semanticscholar +1 more source
ACM-SIGACT Symposium on Principles of Programming Languages, 2002
T. Henzinger+3 more
semanticscholar +1 more source
T. Henzinger+3 more
semanticscholar +1 more source
Deep Specifications and Certified Abstraction Layers
ACM-SIGACT Symposium on Principles of Programming Languages, 2015Ronghui Gu+7 more
semanticscholar +1 more source