Výsledky vyhledávání - acm: f.: theory of computation/f.3: logics AND meanings of (programs OR process)*
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)
Témata: 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
Popis souboru: application/pdf
Přístupová URL adresa: http://arxiv.org/abs/2001.11906
https://doaj.org/article/fe749c58e7b14f36b2ed877c61a493b6 -
2
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-02458330 ; 2023.
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-02458330 ; 2022.
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.archives-ouvertes.fr/hal-02458330 ; 2021.
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.archives-ouvertes.fr/hal-02458330 ; 2020.
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/hal-02572971 ; [Research Report] LORIA UMR 7503 CNRS, INRIA, Université de LORRAINE. 2020, pp.36.
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-01144215 ; 2015.
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: Science of Computer Programming. 121:100-127
Témata: [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
Popis souboru: application/pdf
Přístupová URL adresa: 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
Autoři:
Přispěvatelé:
Zdroj: 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
Témata: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geografické téma: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geografické téma: Vancouver
Time: Vancouver, Canada
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
12
Autoři: a další
Přispěvatelé: a další
Témata: 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]
Přístupová URL adresa: https://hal.science/hal-01246669v1
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: 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/
Témata: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geografické téma: Vancouver
Time: Vancouver, Canada
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: International Static Analysis Symposium ; https://hal.science/hal-01943943 ; International Static Analysis Symposium, pp.46-65, 2017
Témata: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: Journal of Logical and Algebraic Methods in Programming. 92:45-63
Témata: 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
Přístupová URL adresa: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: Computers & Graphics. 24:555-568
Témata: 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
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-01438386 ; [Research Report] LRI - CNRS, University Paris-Sud; ICMC, University of Sao Paulo. 2017, pp.59.
Témata: 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]
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩
Témata: 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]
Geografické téma: New York, United States
Relation: info:eu-repo/grantAgreement//678157/EU/Coinduction for Verification and Certification/CoVeCe
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
https://inria.hal.science/hal-00909535
16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers, Apr 2010, Dakar, Senegal. pp.173-191, ⟨10.1007/978-3-642-17511-4_11⟩Témata: 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.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.4: Type structure, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0960-1295.
Témata: 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