Results 261 to 270 of about 4,260 (299)
Some of the next articles are maybe not open access.
On Explicit Substitution with Names
Journal of Automated Reasoning, 2011zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rose, Kristoffer H. +2 more
openaire +6 more sources
Explicit Substitutions and Reducibility
Journal of Logic and Computation, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
A Category of Explicit Fusions
2008Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotational and logical methods often proved inadequate to reason about these formalisms.
Filippo Bonchi +3 more
openaire +2 more sources
Explicit Transformation Modeling
2010Despite the pivotal significance of transformations for model-driven approaches, there have not been any attempts to explicitly model transformation languages yet. This paper presents a novel approach for the specification of transformations by modeling model transformation languages as domain-specific languages.
Thomas Kühne 0001 +4 more
openaire +2 more sources
From S-explicitation to T-explicitation? Tracing the development of the explicitation concept
Across Languages and Cultures, 2014This paper sets out to investigate the coexistence of two different versions of explicitation in translation studies, which, with reference to Chesterman’s distinction between S-universals and T-universals, are called S-explicitation and T-explicitation in the first part of this article.
openaire +1 more source
2014 Seventh International Conference on Contemporary Computing (IC3), 2014
Rahul Pradhan, Dilip Kumar Sharma
openaire +2 more sources
Rahul Pradhan, Dilip Kumar Sharma
openaire +2 more sources
Presupposition and Implicature: Varieties of Implicit Meaning in Explicitation Practices
Journal of Pragmatics, 2021Marina Sbisa
exaly