Results 131 to 140 of about 11,766 (228)
Synthesising Programs with Non-trivial Constants. [PDF]
J Autom Reason, 2023 Abate A +8 more
europepmc +1 more source
Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics [PDF]
George Frederick Kaye
openalex +1 more source
Equivalence of Denotational and Operational Semantics for Interaction Languages
, 2022 Erwan Mahe +2 more
openalex +2 more sources
An algebraic framework for structured epidemic modelling. [PDF]
Philos Trans A Math Phys Eng Sci, 2022 Libkind S +4 more
europepmc +1 more source
A Formal Validation Approach for XACML 3.0 Access Control Policy. [PDF]
Sensors (Basel), 2022 Caserio C, Lonetti F, Marchetti E.
europepmc +1 more source
Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds [PDF]
Antonio Piccolomini d’Aragona
openalex +1 more source
A Hybrid Denotational Semantics for Hybrid Systems [PDF]
, 2008 Olivier Bouissou, Matthieu Martel
openalex +1 more source
Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. [PDF]
Entropy (Basel), 2021 Sun X, Kulicki P, Sopek M.
europepmc +1 more source
Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus
, 2009 Vladimir Komendantsky
openalex +1 more source