Works matching DE "DENOTATIONAL semantics"

Results: 55

SUZUKI TYPE RESULT IN PARTIAL G- METRIC SPACES USING RATIONAL CONTRACTIVE CONDITION.

Published in:

Scientific Studies & Research. Series Mathematics & Informatics, 2015, v. 25, n. 2, p. 93

By:

RAO, K. P. R.;
KISHORE, G. N. V.;
SADIK, SK.

Publication type:

Article

A GENERAL FIXED POINT THEOREM FOR TWO PAIRS OF ABSORBING MAPPINGS IN WEAK PARTIAL METRIC SPACES.

Published in:

Annals of the University Dunarea de Jos of Galati: Fascicle II, Mathematics, Physics, Theoretical Mechanics, 2017, v. 40, n. 2, p. 144

By:

Popa, Valeriu;
Patriciu, Alina-Mihaela

Publication type:

Article

METRIC DENOTATIONAL SEMANTICS FOR REMOTE PROCESS DESTRUCTION AND CLONING.

Published in:

Studia Universitatis Babes-Bolyai, Informatica, 2017, v. 62, n. 2, p. 93, doi. 10.24193/subbi.2017.2.08

By:

TODORAN, ENEIA NICOLAE

Publication type:

Article

HREBS AND COHESION CHAINS AS SIMILAR TOOLS FOR SEMANTIC TEXT PROPERTIES RESEARCH.

Published in:

Studia Universitatis Babes-Bolyai, Informatica, 2013, v. 58, n. 2, p. 40

By:

TATAR, DOINA;
LUPEA, MIHAIELA;
KAPETANIOS, EPAMINONDAS

Publication type:

Article

COGNITIVE LINGUISTIC PERSPECTIVES ON THE CHINESE LANGUAGE.

Published in:

New Mathematics & Natural Computation, 2013, v. 9, n. 2, p. 237, doi. 10.1142/S179300571340005X

By:

YINGXU WANG

Publication type:

Article

Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic.

Published in:

Mathematical Structures in Computer Science, 2007, v. 17, n. 2, p. 341, doi. 10.1017/S0960129506005652

By:

PAGANI, MICHELE

Publication type:

Article

World Variable Binding and Beta-Binding.

Published in:

Journal of Semantics, 2011, v. 28, n. 2, p. 241, doi. 10.1093/jos/ffq020

By:

SCHUELER, DAVID

Publication type:

Article

Topological properties of L-partial pseudo-quasi- metric spaces.

Published in:

Journal of Nonlinear Sciences & Applications (JNSA), 2016, v. 9, n. 5, p. 3169, doi. 10.22436/jnsa.009.05.106

By:

Zhen-Yu Xiu;
Bin Pang

Publication type:

Article

On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics.

Published in:

Abstract & Applied Analysis, 2013, p. 1, doi. 10.1155/2013/985095

By:

Shahzad, N.;
Valero, O.

Publication type:

Article

Logic formulas in models.

Published in:

2017

By:

Gray, Jeff;
Rumpe, Bernhard

Publication type:

Editorial

AN “i” FOR AN i: SINGULAR TERMS, UNIQUENESS, AND REFERENCE.

Published in:

Review of Symbolic Logic, 2012, v. 5, n. 3, p. 380, doi. 10.1017/S1755020311000347

By:

SHAPIRO, STEWART

Publication type:

Article

THE ROLE OF FORCE IN MANDARIN VERBS OF CUTTING.

Published in:

Taiwan Journal of Linguistics, 2015, v. 13, n. 2, p. 1, doi. 10.6519/TJL.2015.13(2).1

By:

Hsiao, Huichen S.

Publication type:

Article

Complex impure systems: Sheaves, freeways, and chains.

Published in:

Complexity, 2016, v. 21, p. 387, doi. 10.1002/cplx.21750

By:

Usó-Doménech, JOSEP LLUIS;
Nescolarde-Selva, Josué antonio;
Lloret-Climent, Miguel

Publication type:

Article

The Cuntz semigroup and domain theory.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2017, v. 21, n. 10, p. 2485, doi. 10.1007/s00500-017-2573-z

By:

Keimel, Klaus

Publication type:

Article

A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.

Published in:

Studia Logica, 2012, v. 100, n. 4, p. 815, doi. 10.1007/s11225-012-9431-x

By:

Więckowski, Bartosz

Publication type:

Article

Associative Substitutional Semantics and Quantified Modal Logic.

Published in:

Studia Logica, 2010, v. 94, n. 1, p. 105, doi. 10.1007/s11225-010-9222-1

By:

Więckowski, Bartosz

Publication type:

Article

The complexity space of partial functions: a connection between complexity analysis and denotational semantics.

Published in:

International Journal of Computer Mathematics, 2011, v. 88, n. 9, p. 1819, doi. 10.1080/00207161003631885

By:

Romaguera, S.;
Schellekens, M.P.;
Valero, O.

Publication type:

Article

Between the text and the page: Żołtarz Dawidów in manuscript and print.

Published in:

Studies in Polish Linguistics, 2016, v. 11, n. 4, p. 167, doi. 10.4467/23005920SPL.16.009.6168

By:

Charzyńska-Wójcik, Magdalena

Publication type:

Article

Real-time system simulation and verification approach based on STeC to Stateflow transformation system.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 2, p. 448, doi. 10.3969/j.issn.1001-3695.2014.02.030

By:

JI Zheng;
LI Hui-yong;
CHEN Yi-xiang

Publication type:

Article

Scientific Knowledge Management Anchored on Socio-environmental Systems.

Published in:

TripleC (Cognition, Communication, Co-Operation): Open Access Journal for a Global Sustainable Information Society, 2011, v. 9, n. 2, p. 610, doi. 10.31269/triplec.v9i2.192

By:

Alonso, Luiza;
Sallantin, Jean;
Ferneda, Edilson;
Luzeaux, Dominique

Publication type:

Article

Non-determinism in Gödel's System T.

Published in:

Theory of Computing Systems, 2012, v. 51, n. 1, p. 85, doi. 10.1007/s00224-011-9377-9

By:

Kristiansen, Lars;
Mender, Bedeho

Publication type:

Article

Lexical coding vs. syntactic marking of homogeneity.

Published in:

Studies in Language, 2014, v. 38, n. 4, p. 896, doi. 10.1075/sl.38.4.12mul

By:

Müller, Henrik Høeg

Publication type:

Article

Defining the transfer function of a plant using experimental transient response based on the scaling principle.

Published in:

Automation & Remote Control, 2013, v. 74, n. 9, p. 1582, doi. 10.1134/S0005117913090142

By:

Bazhanov, V.

Publication type:

Article

Systems analysis of life cycle of large-scale information-control systems.

Published in:

Automation & Remote Control, 2013, v. 74, n. 9, p. 1510, doi. 10.1134/S0005117913090075

By:

Kovalev, S.

Publication type:

Article

Evaluating evaluation.

Published in:

Narrative Inquiry, 2018, v. 28, n. 1, p. 1, doi. 10.1075/ni.17005.gil

By:

Gilbert, Kristin Enola

Publication type:

Article

LAMBDA IN SENTENCES WITH DESIGNATORS: AN ODE TO COMPLEX PREDICATION.

Published in:: Journal of Philosophy, 2010, v. 107, n. 9, p. 445, doi. 10.5840/jphil2010107930
Publication type:: Article

RUSSELLOV ANALITIČKI METOD: TEORIJA ODREĐENIH DESKRIPCIJA.

Published in:

Sophos, 2010, v. 3, p. 125

By:

Neimarlija, Lamija

Publication type:

Article

The adequacy of Launchbury's natural semantics for lazy evaluation*.

Published in:

Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796817000144

By:

BREITNER, JOACHIM

Publication type:

Article

Review: Lambda-Calculus and Combinators: An Introduction.

Published in:

2011

By:

GAMMIE, PETER

Publication type:

Book Review

Qualitative versus quantitative fixed point techniques in computer science.

Published in:

QM - Quaestiones Mathematicae, 2018, v. 41, n. 1, p. 115, doi. 10.2989/16073606.2017.1373712

By:

López-Ramírez, María;
Valero, Oscar

Publication type:

Article

Total Restrained Domination in Trees.

Published in:

Engineering Letters, 2016, v. 24, n. 1, p. 69

By:

Xing Chen;
Dongyang Xie;
Wei Xiong;
Jixiang Meng

Publication type:

Article

Some results in quasi-b-metric-like spaces.

Published in:

Journal of Inequalities & Applications, 2014, v. 2014, p. 1, doi. 10.1186/1029-242X-2014-437

By:

Chuanxi Zhu;
Chunfang Chen;
Xiaozhi Zhang

Publication type:

Article

Execution time of λ-terms via denotational semantics and intersection types.

Published in:

Mathematical Structures in Computer Science, 2018, v. 28, n. 7, p. 1169, doi. 10.1017/S0960129516000396

By:

DE CARVALHO, DANIEL

Publication type:

Article

Denotational semantics of recursive types in synthetic guarded domain theory.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 3, p. 465, doi. 10.1017/S0960129518000087

By:

MØGELBERG, RASMUS E.;
PAVIOTTI, MARCO

Publication type:

Article

On naturally continuous non-dcpo domains.

Published in:

Mathematical Structures in Computer Science, 2017, v. 27, n. 8, p. 1521, doi. 10.1017/S0960129516000165

By:

SAZONOV, VLADIMIR

Publication type:

Article

Verification for ASP denotational semantics: A case study using the PVS theorem prover.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 195, doi. 10.1093/jigpal/jzw060

By:

AGUADO, F.;
ASCARIZ, P.;
CABALAR, P.;
PÉREZ, G.;
VIDAL, C.

Publication type:

Article

A note on logical relations between semantics and syntax.

Published in:

Logic Journal of the IGPL, 1997, v. 5, n. 4, p. 589, doi. 10.1093/jigpal/5.4.589

By:

Pitts, AM

Publication type:

Article

The semantics of partial control.

Published in:

Natural Language & Linguistic Theory, 2016, v. 34, n. 2, p. 691, doi. 10.1007/s11049-015-9313-9

By:

Pearson, Hazel

Publication type:

Article

How to Refer to a Thing by a Word: Another Difference Between Dignāga's and Kumārila's Theories of Denotation.

Published in:

Journal of Indian Philosophy, 2011, v. 39, n. 4/5, p. 571, doi. 10.1007/s10781-011-9136-x

By:

Yoshimizu, Kiyotaka

Publication type:

Article

When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science.

Published in:

History & Philosophy of Logic, 2015, v. 36, n. 3, p. 195, doi. 10.1080/01445340.2015.1084183

By:

De Mol, Liesbeth;
Primiero, Giuseppe

Publication type:

Article

Continuity in Semantic Theories of Programming.

Published in:

History & Philosophy of Logic, 2015, v. 36, n. 3, p. 242, doi. 10.1080/01445340.2015.1054576

By:

Cardone, Felice

Publication type:

Article

Data fusion and abductive inference for metaphor resolution: a bridging discussion.

Published in:

Knowledge Engineering Review, 2016, v. 31, n. 3, p. 261, doi. 10.1017/S0269888916000060

By:

Ferrin, Giovanni;
Snidaro, Lauro;
Foresti, Gian Luca

Publication type:

Article

De Re Belief and Cumming's Puzzle.

Published in:

Analytic Philosophy, 2015, v. 56, n. 1, p. 45, doi. 10.1111/phib.12057

By:

Shaw, James R.

Publication type:

Article

REGULAR GAMMA NEARNESS SEMIGROUPS.

Published in:

Bulletin of International Mathematical Virtual Institute, 2023, v. 13, n. 2, p. 253, doi. 10.7251/BIMVI2302253O

By:

Öztürk, Mehmet Ali;
TEKİN, Özlem

Publication type:

Article

Weaving the Text: Changing Literacy Practices and Orientations.

Published in:

College English, 2019, v. 82, n. 1, p. 7, doi. 10.58680/ce201930302

By:

Canagarajah, Suresh

Publication type:

Article

A Concrete Categorical Model for the Lambek Syntactic Calculus.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 49, doi. 10.1002/malq.19970430107

By:

Da Silva Corrêa, Marcelo;
Haeusler, Edward Hermann

Publication type:

Article

Semantics for a Quantum Programming Language by Operator Algebras.

Published in:

New Generation Computing, 2016, v. 34, n. 1/2, p. 25, doi. 10.1007/s00354-016-0204-3

By:

Cho, Kenta

Publication type:

Article

Tabling with Sound Answer Subsumption.

Published in:

Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 933, doi. 10.1017/S147106841600048X

By:

VANDENBROUCKE, ALEXANDER;
PIRÓG, MACIEJ;
DESOUTER, BENOIT;
SCHRIJVERS, TOM;
Carro, Manuel;
King, Andy

Publication type:

Article

Timed soft concurrent constraint programs: An interleaved and a parallel approach.

Published in:

Theory & Practice of Logic Programming, 2015, v. 15, n. 6, p. 743, doi. 10.1017/S1471068414000106

By:

BISTARELLI, STEFANO;
GABBRIELLI, MAURIZIO;
MEO, MARIA CHIARA;
SANTINI, FRANCESCO

Publication type:

Article

A denotational semantics for equilibrium logic.

Published in:

Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 620, doi. 10.1017/S1471068415000277

By:

AGUADO, FELICIDAD;
CABALAR, PEDRO;
PEARCE, DAVID;
PÉREZ, GILBERTO;
VIDAL, CONCEPCIÓN;
Eiter, Thomas;
Toni, Francesca

Publication type:

Article