Results 261 to 269 of about 90,452 (269)

Syntax, action verbs, action semantics, and object semantics in Parkinson's disease: Dissociability, progression, and executive influences

Cortex, 2015
Agustin Ibanez, Juan Felipe Cardona
exaly  

A construction of sound semantic linguistic scales using 4-tuple representation of term semantics

International Journal of Approximate Reasoning, 2014
Van-Nam Huynh
exaly  

Mechanized Semantics for the Clight Subset of the C Language

Journal of Automated Reasoning, 2009
Sandrine Blazy, Leroy Xavier
exaly  

A comparative study of two formal semantics of the SIGNAL language

Frontiers of Computer Science, 2013
Jean-Paul Bodeveix, Zhibin Yang, Bodeveix Jean-Paul   +2 more
exaly  

An executable formal semantics of C with applications

ACM SIGPLAN Notices, 2012
Grigore Rosu, Chucky Ellison
exaly  

Sequence semantics for dynamic predicate logic

Journal of Logic, Language and Information, 1993
exaly  

The Semantics of Semantic Annotation.

2007
openaire   +2 more sources

Coinductive big-step operational semantics

Information and Computation, 2009
exaly  

Sanguineous Semantics

Journal of Urology, 1981
openaire   +2 more sources