Results 1 to 10 of about 1,185,396 (265)

On proving inductive properties of abstract data types

ACM-SIGACT Symposium on Principles of Programming Languages, 1980
D. Musser
semanticscholar   +1 more source

Limits of the "algebraic" specification of abstract data types

SIGP, 1977
M. Majster
semanticscholar   +1 more source

A common framework for semantic memory and semantic composition. [PDF]

Imaging Neurosci (Camb)
Law RMC, Lambon Ralph MA, Hauk O.
europepmc   +1 more source

Abstract data types in the Model programming language

Conference on Data: Abstraction, Definition and Structure, 1976
Robert T. Johnson, J. B. Morris
semanticscholar   +1 more source

Developing a minimum data set for the musculoskeletal physical therapy registry. [PDF]

J Educ Health Promot
Yazdipour AB, Nazary-Moghadam S, Ayyoubzadeh SM, Shahmoradi L, Kimiafar K.   +4 more
europepmc   +1 more source

Nondeterminism in Abstract Data Types

International Colloquium on Automata, Languages and Programming, 1981
P. Subrahmanyam
semanticscholar   +1 more source

Some remarks on abstract data types

SIGP, 1977
M. Levy
semanticscholar   +1 more source

Cdt: a container data type library

Software, Practice & Experience, 1997
Kiem-Phong Vo
semanticscholar   +1 more source

AI-powered Immune Cell Knowledge Graph (ICKG) with granular immune contexts enables immune program interpretation. [PDF]

NPJ Artif Intell
He S, Tan Y, Ye Q, M Gubin M, Dede M, Rafei H, Peng W, Rezvani K, Mohanty V, Chen K.   +9 more
europepmc   +1 more source

A systematic map of methods for assessing societal benefits of Earth science information. [PDF]

Proc Natl Acad Sci U S A
O'Hara CC, Baez-Schon M, Chaplin-Kramer R, Cheng SH, Echeverri A, Galford GL, Gould RK, Mancilla CL, Muldoon MC, Singh GG, Baltezar P, Kuwayama Y, Polasky S, Rodewald AD, Sharp RP, Tennant EJ, Zhao J, Halpern BS.   +17 more
europepmc   +1 more source