Výsledky vyhledávání - acm: f.: theory of computation/f.3: logics AND meanings of 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: ISSN: 0304-3975.
Témata: Termination, Bisimilarity, Higher-order, Process calculi, Unique solution of equations, 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, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/grantAgreement//678157/EU/Coinduction for Verification and Certification/CoVeCe
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: Leibniz International Proceedings in Informatics (LIPIcs) ; CONCUR 2017 - 28th International Conference on Concurrency Theory ; https://inria.hal.science/hal-01639845 ; CONCUR 2017 - 28th International Conference on Concurrency Theory, Roland Meyer; Uwe Nestmann, Sep 2017, Berlin, Germany. pp.1-17, ⟨10.4230/LIPIcs.CONCUR.2017.30⟩
Témata: Reversible Computation, Keywords and phrases Communication-centric Systems, F33 Type Structure, Multiparty Session Types, 1998 ACM Subject Classification F12 Parallelism and Concurrency, Process Calculi, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.3: Parallelism and concurrency, 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-IU]Computer Science [cs]/Ubiquitous Computing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation ; PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation ; https://inria.hal.science/hal-01512286 ; PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain ; http://pldi17.sigplan.og
Témata: Interactive Theorem Proving (Coq), Verified Compilation, Synchronous Languages (Lustre), ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geografické téma: Spain
Time: Barcelone, Spain
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-01778656 ; 2019.
Témata: Hereditary history-preserving bisimulation, Reversible CCS, Formal semantics, Process algebras and calculi, 2012 ACM Subject Classification Theory of computation → Program semantics, Computing method-ologies → Concurrent programming languages Keywords and phrases Formal semantics, Configuration structures, Distributed and reversible computation, Auto-concurrency, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, 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, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1804.10355; ARXIV: 1804.10355
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering ; https://hal.science/hal-03170814 ; ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, online, Czech Republic. pp.138-149, ⟨10.5220/0010462901380149⟩ ; https://enase.scitevents.org/?y=2021
Témata: BPMN, Timed Models, Workflows, Collaborations, Formal Verification, Alloy, ACM: H.: Information Systems, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geografické téma: online, Czech Republic
-
11
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
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/hal-03495883 ; [Research Report] RR-9439, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2021.
Témata: Models of computation, Synchronous dataflow, Reconfigurable systems, Graph rewriting, Static analyses, Boundedness, Liveness, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ISBN: 9783319259413
Témata: 2. Zero hunger, Instruction Set Simulation, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 02 engineering and technology, [INFO] Computer Science [cs], ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Computer Architecture, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, Verification & Proofs, [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems/I.6.7.0: Environments
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)
https://hal.science/hal-01849206
16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Oct 2018, Los Angeles, California, United States. pp.370-386, ⟨10.1007/978-3-030-01090-4_22⟩Témata: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.0: Automata (e.g., finite, push-down, resource-bounded), ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Geografické téma: Los Angeles, California, United States
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: CONCUR 2019 ; https://hal.science/hal-02267453 ; CONCUR 2019, Aug 2019, AMSTERDAM, Netherlands
Témata: reachability, FIFO, termination, Infinite state systems, complexity, flat systems, counters, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [SCCO.COMP]Cognitive science/Computer science, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geografické téma: AMSTERDAM, Netherlands
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1908.07282; ARXIV: 1908.07282
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://inria.hal.science/hal-00913983 ; ACM Transactions on Mathematical Software, 2013, 39 (3), ⟨10.1145/2450153.2450158⟩.
Témata: Adjoint compiler, Source transformation, Algorithmic Differentiation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.4: Quadrature and Numerical Differentiation, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.2: Automatic Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/hal-02985273 ; [Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40.
Témata: Nondeterministic systems, Probabilistic systems, Probabilistic interfaces, Interface theories, Théories d’interfaces, Interfaces probabilistes, Systèmes probabilistes, Systèmes non-déterministes, 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, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2011.09435; ARXIV: 2011.09435
-
18
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/ -
19
Autoři: a další
Přispěvatelé: a další
Témata: [INFO.INFO-DC]Computer Science [cs]/Distributed, behavioral theory, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], normal bisimulation, and Cluster Computing [cs.DC], higher-order, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Parallel, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, Process calculus, barbed congruence, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Popis souboru: application/pdf
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: 4th ACM-SIGPLAN Conference on Certified Programs and Proofs (CPP)
https://inria.hal.science/hal-01091524
4th ACM-SIGPLAN Conference on Certified Programs and Proofs (CPP), ACM-SIGPLAN, Jan 2015, Mumbai, India. ⟨10.1145/2676724.2693170⟩
http://cpp2015.inria.frTémata: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.5: Specification techniques, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/grantAgreement//291592/EU/ProofCert: Broad Spectrum Proof Certificates/PROOFCERT
Full Text Finder 
Nájsť tento článok vo Web of Science