Works matching DE "DENOTATIONAL semantics"
Results: 55
Logic formulas in models.
- Published in:
- 2017
- By:
- Publication type:
- Editorial
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:
- 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:
- 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:
- Publication type:
- Article
Complex impure systems: Sheaves, freeways, and chains.
- Published in:
- Complexity, 2016, v. 21, p. 387, doi. 10.1002/cplx.21750
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- Publication type:
- Article
Review: Lambda-Calculus and Combinators: An Introduction.
- Published in:
- 2011
- By:
- Publication type:
- Book Review
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:
- Publication type:
- Article
Evaluating evaluation.
- Published in:
- Narrative Inquiry, 2018, v. 28, n. 1, p. 1, doi. 10.1075/ni.17005.gil
- By:
- 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
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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Abstract interpretation of temporal concurrent constraint programs.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 3, p. 312, doi. 10.1017/S1471068413000641
- By:
- Publication type:
- Article
Abstract diagnosis for timed concurrent constraint programs.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 4/5, p. 487, doi. 10.1017/S1471068411000135
- By:
- Publication type:
- Article
RUSSELLOV ANALITIČKI METOD: TEORIJA ODREĐENIH DESKRIPCIJA.
- Published in:
- Sophos, 2010, v. 3, p. 125
- By:
- Publication type:
- Article
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:
- Publication type:
- Article
Total Restrained Domination in Trees.
- Published in:
- Engineering Letters, 2016, v. 24, n. 1, p. 69
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
A non-uniform finitary relational semantics of system T.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 111, doi. 10.1051/ita/2012031
- By:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article