Keyword:semantics

Papers
A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description Erkki Luuk EasyChair Preprint no. 1516
Meanings, Sounds, Signs, & Gestures Tristan Tondino EasyChair Preprint no. 868
Automating the Diagram Method to Prove Correctness of Program Transformations David Sabel EasyChair Preprint no. 415
Local Soundness for QBF Calculi Martin Suda and Bernhard Gleiss EasyChair Preprint no. 362
Towards the Semantics of QBF Clauses Martin Suda EasyChair Preprint no. 361
ARTiMon Monitoring Tool, The Time Domains Nicolas Rapin In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Translating False and Fickle Anglicisms in Modern Spanish Andrew Walsh In:Professional and Academic Discourse: an Interdisciplinary Perspective