Search Results - acm: f.: theory of computation/f.3: logics AND meanings of ((programs OR progress) OR process)*
-
1
Authors: et al.
Contributors: et al.
Source: Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], mathematics - dynamical systems, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, 0102 computer and information sciences, Dynamical Systems (math.DS), 01 natural sciences, computer science - logic in computer science, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, FOS: Mathematics, mathematics - logic, Mathematics - Dynamical Systems, 0101 mathematics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, mathematics - probability, BC1-199, Probability (math.PR), [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], QA75.5-76.95, Mathematics - Logic, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.4: Probabilistic computation, Logic in Computer Science (cs.LO), [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], Electronic computers. Computer science, Logic (math.LO), Mathematics - Probability
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-02458330 ; 2023.
Subject Terms: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.4: Probabilistic computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2001.11906; info:eu-repo/grantAgreement//659920/EU/A Realizability Approach to Complexity Theory/ReACT; hal-02458330; https://hal.science/hal-02458330; https://hal.science/hal-02458330v5/document; https://hal.science/hal-02458330v5/file/Markov-Zeta2.pdf; ARXIV: 2001.11906
-
3
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-02458330 ; 2022.
Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.4: Probabilistic computation, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2001.11906; info:eu-repo/grantAgreement//659920/EU/A Realizability Approach to Complexity Theory/ReACT; hal-02458330; https://hal.science/hal-02458330; https://hal.science/hal-02458330v4/document; https://hal.science/hal-02458330v4/file/Markov-Zeta2.pdf; ARXIV: 2001.11906
-
4
Authors: et al.
Contributors: et al.
Source: https://hal.archives-ouvertes.fr/hal-02458330 ; 2021.
Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.4: Probabilistic computation, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2001.11906; hal-02458330; https://hal.archives-ouvertes.fr/hal-02458330; https://hal.archives-ouvertes.fr/hal-02458330v3/document; https://hal.archives-ouvertes.fr/hal-02458330v3/file/MarkovZeta.pdf; ARXIV: 2001.11906
-
5
Authors: et al.
Contributors: et al.
Source: https://hal.archives-ouvertes.fr/hal-02458330 ; 2020.
Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.4: Probabilistic computation, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2001.11906; hal-02458330; https://hal.archives-ouvertes.fr/hal-02458330; https://hal.archives-ouvertes.fr/hal-02458330v2/document; https://hal.archives-ouvertes.fr/hal-02458330v2/file/Markov-Zeta-short.pdf; ARXIV: 2001.11906
-
6
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/hal-02572971 ; [Research Report] LORIA UMR 7503 CNRS, INRIA, Université de LORRAINE. 2020, pp.36.
Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
7
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-01144215 ; 2015.
Subject Terms: Process calculi, Type systems, Linear logic, Semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1505.07794; ARXIV: 1505.07794
-
8
Authors: et al.
Contributors: et al.
Source: Science of Computer Programming. 121:100-127
Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Explicit vs. implicit semantics, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Algorithme et structure de données, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Ontologies and ontology engineering, System design models, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.4: Knowledge Representation Formalisms and Methods, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Logique en informatique, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Intelligence artificielle, Models verification and validation, Théorie et langage formel, Domain knowledge
File Description: application/pdf
Access URL: https://hal-univ-tlse2.archives-ouvertes.fr/hal-01245832
https://www.sciencedirect.com/science/article/pii/S0167642315004153
https://www.sciencedirect.com/science/article/abs/pii/S0167642315004153
https://dl.acm .org/doi/10.1016/j.scico.2015.12.004
https://hal.inria.fr/hal-01245832
https://oatao.univ-toulouse.fr/24847/
https://oatao.univ-toulouse.fr/24847/ -
9
Authors:
Contributors:
Source: LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019 ; https://hal.science/hal-02150149 ; LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada
Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Vancouver
Time: Vancouver, Canada
Relation: hal-02150149; https://hal.science/hal-02150149; https://hal.science/hal-02150149/document; https://hal.science/hal-02150149/file/LFMTP2019_FP_1.pdf
-
10
Authors: et al.
Contributors: et al.
Source: LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019 ; https://hal.science/hal-02150167 ; LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada
Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Vancouver
Time: Vancouver, Canada
-
11
Authors: et al.
Contributors: et al.
Source: LFMTP 2019 - Logical Frameworks and Meta-Languages: Theory and Practice ; https://hal.science/hal-02150179 ; LFMTP 2019 - Logical Frameworks and Meta-Languages: Theory and Practice, Jun 2019, Vancouver, Canada ; https://lfmtp.org/workshops/2019/
Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Vancouver
Time: Vancouver, Canada
-
12
Authors: et al.
Contributors: et al.
Source: Programming Languages and Systems26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings ; https://hal.science/hal-01943949 ; Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings, pp.170-200, 2017
Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
13
Authors: et al.
Contributors: et al.
Source: International Static Analysis Symposium ; https://hal.science/hal-01943943 ; International Static Analysis Symposium, pp.46-65, 2017
Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
14
Authors: et al.
Contributors: et al.
Source: Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP) ; https://inria.hal.science/hal-01149659 ; Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP), Aug 2004, Verona, Italy. pp.167-178, ⟨10.1145/1013963.1013983⟩
Subject Terms: Pattern-Matching, Types, Rewriting-calculus, Term Rewriting Systems, Certified Software, Natural Semantics, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.4: Mechanical theorem proving, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
15
Authors: et al.
Contributors: et al.
Source: Journal of Logical and Algebraic Methods in Programming. 92:45-63
Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Semantics of Programming Langages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, Soft Constraints, and Cluster Computing [cs.DC], Soft Concurrent Constraint Programming, Bisimulation, 13. Climate action, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Concurrent Constraint Programming, 0101 mathematics
Access URL: https://inria.hal.science/hal-01675060v1
https://doi.org/10.1016/j.jlamp.2017.06.001
https://www.sciencedirect.com/science/article/pii/S2352220817301165
https://core.ac.uk/display/87081999
https://hal.inria.fr/hal-01675060
https://research.unipg.it/handle/11391/1417231
https://dblp.uni-trier.de/db/journals/jlp/jlp92.html#GadducciSPV17
https://hdl.handle.net/11568/872080
https://doi.org/10.1016/j.jlamp.2017.06.001
http://www.sciencedirect.com/science/journal/23522208
https://doi.org/10.1016/j.jlamp.2017.06.001
https://hdl.handle.net/11391/1417231 -
16
Authors: et al.
Contributors: et al.
Subject Terms: distributed systems, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.0: General, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], formal method, CPS, resilience, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Access URL: https://hal.science/hal-01246669v1
-
17
Authors: et al.
Contributors: et al.
Source: Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016) ; https://hal.science/hal-01259622 ; Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), Jul 2016, New York, United States. ⟨10.1145/2933575.2934564⟩
Subject Terms: Parametrised coinduction, GSOS, Complete lattices, Enhancements, Coinduction, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO]Computer Science [cs]
Subject Geographic: New York, United States
Relation: info:eu-repo/grantAgreement//678157/EU/Coinduction for Verification and Certification/CoVeCe
-
18
Authors: et al.
Contributors: et al.
Source: Computers & Graphics. 24:555-568
Subject Terms: Fuzzy sets, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.5: Computational Geometry and Object Modeling, Declarative modeling, Linguistics, Image synthesis, 02 engineering and technology, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, CSP, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.7: Three-Dimensional Graphics and Realism, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.6: Methodology and Techniques, Constraints, 0202 electrical engineering, electronic engineering, information engineering, Geometric modeling, [INFO]Computer Science [cs], ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.4: Knowledge Representation Formalisms and Methods
-
19
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-01438386 ; [Research Report] LRI - CNRS, University Paris-Sud; ICMC, University of Sao Paulo. 2017, pp.59.
Subject Terms: Operational semantics, K-Framework, Circus, Formal specification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO]Computer Science [cs], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
-
20
Authors: et al.
Contributors: et al.
Source: ISSN: 0960-1295.
Subject Terms: MSCS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/grantAgreement//COST Action CA15123 /EU/The European research network on types for programming and verification /EUTYPES
Full Text Finder 
Nájsť tento článok vo Web of Science