Results 21 to 30 of about 174,815,442 (248)
Programming Languages and Systems [PDF]
, 2021 This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
core +1 more source
Circular Proofs as Session-Typed Processes: A Local Validity Condition [PDF]
Logical Methods in Computer Science, 2022 Proof theory provides a foundation for studying and reasoning about programming languages, most directly based on the well-known Curry-Howard isomorphism between intuitionistic logic and the typed lambda-calculus.
Farzaneh Derakhshan, Frank Pfenning
doaj +1 more source
Programming Languages and Systems [PDF]
, 2020 This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software ...
core +1 more source
A Swiss Pocket Knife for Computability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This research is about operational- and complexity-oriented aspects of classical foundations of computability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a ...
Neil D. Jones
doaj +1 more source
Российский технологический журнал, 2022 Objectives. The paper deals with the equivalence of program schemes. According to A.A. Lyapunov and Yu.I. Yanov, the founders of this theory, a program scheme is understood as a program model wherein abstraction from contensive values of operators and ...
Y. P. Korablin
doaj +1 more source
Composing games into complex institutions
PLoS ONE, 2023 Game theory is used by all behavioral sciences, but its development has long centered around the economic interpretation of equilibrium outcomes in relatively simple games and toy systems.
Seth Frey +3 more
doaj +2 more sources
Сучасні інформаційні системи, 2022 The object of research in the article are the tools and capabilities of the C# programming language for the implementation of cybersecurity analysis software in local computer networks and computer-integrated systems.
Vladyslav Pashynskykh +4 more
doaj +1 more source
IEEE Access, 2017 This paper is a study of the inhomogeneity reduction for near-field acquisition in high-resolution magnetic resonance imaging (MRI) systems. The acquisition homogeneity in MRI imaging modality is an open issue concerning the optimal MRI image generation ...
Pablo Padilla +3 more
doaj +1 more source
Quantum Turing Machines: Computations and Measurements
Applied Sciences, 2020 Contrary to the classical case, the relation between quantum programming languages and quantum Turing Machines (QTM) has not been fully investigated.
Stefano Guerrini +2 more
doaj +1 more source
Functional Automata - Formal Languages for Computer Science Students [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability.
Marco T. Morazán, Rosario Antunez
doaj +1 more source