Search Results - "Theory of computation Logic"
-
1
Authors: et al.
Contributors: et al.
Source: Logical Methods in Computer Science. 21
Subject Terms: universal trees, FOS: Computer and information sciences, Data Structures and Algorithms, Discrete Mathematics (cs.DM), value iteration, Discrete Mathematics, Logic in Computer Science, Theory of computation → Design and analysis of algorithms, Mathematics of computing → Discrete mathematics, 0102 computer and information sciences, Theory of computation → Logic and verification, 01 natural sciences, Logic in Computer Science (cs.LO), parity games, strategy iteration, progress measure, Data Structures and Algorithms (cs.DS), ddc:004
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: 2012 ACM Subject Classification Theory of computation → Discrete optimization, maximum satisfiability, Mathematics of computing → Solvers phrases maximum satisfiability, Theory of computation → Discrete optimization, Mathematics of computing → Combinatorial optimization, linear programming, Mathematics of computing → Solvers, 2012 ACM Subject Classification Theory of computation → Discrete optimization Mathematics of computing → Combinatorial optimization Theory of computation → Logic Mathematics of computing → Solvers phrases maximum satisfiability, [INFO] Computer Science [cs], ddc:004, Theory of computation → Logic, core-guided solvers
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: union bound, Kleene algebras with tests Hoare logic equational reasoning probabilistic programs union bound formal verification, Theory of computation → Hoare logic, Hoare logic, equational reasoning, [INFO] Computer Science [cs], Theory of computation → Logic and verification, Theory of computation → Algebraic semantics, Kleene algebras with tests, probabilistic programs, ddc:004, formal verification, Theory of computation → Pre- and post-conditions
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Source: 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS 2025
https://hal.science/hal-05342996
45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS 2025, Dec 2025, Goa, India. ⟨10.4230/LIPIcs.CVIT.2016.23⟩Subject Terms: CVIT, 4230/LIPIcs, Tree-width Digital Object Identifier 10, Theory of computation Logic Graph grammars Hyperedge replacement, 2012 ACM Subject Classification, Tree-width Digital Object Identifier 10 4230/LIPIcs CVIT 2016 23, 2012 ACM Subject Classification Theory of computation Logic Graph grammars Hyperedge replacement, [INFO]Computer Science [cs]
Time: 2016, 23
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2510.06019; ARXIV: 2510.06019
-
5
Authors: et al.
Contributors: et al.
Source: 39th European Conference on Object-Oriented Programming (ECOOP 2025)
https://hal.science/hal-05043055
39th European Conference on Object-Oriented Programming (ECOOP 2025), Jun 2025, Bergen (NO), Norway. ⟨10.4230/LIPIcs.ECOOP.2025.1⟩Subject Terms: Timed logics, Runtime Verification, Monitorability, Theory of computation → Logic and verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Bergen (NO), Norway
-
6
Authors:
Source: ISSN: 2192-5283.
Subject Terms: artificial intelligence, antifragility, autonomous systems, disturbance, ethics, formal methods, machine learning, nondeterminism, resilience, safety, self-adaptive systems, validation and verification, uncertainty, General and reference → Reliability, General and reference → Metrics, General and reference → Validation, Computer systems organization → Embedded and cyber-physical systems, Computer systems organization → Dependable and fault-tolerant systems and networks, Software and its engineering, Theory of computation → Logic, Mathematics of computing → Probability and statistics, Computing methodologies → Artificial intelligence, Computing methodologies → Machine learning, Human-centered computing, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004
File Description: application/pdf
Relation: Dagstuhl Reports; info:eu-repo/semantics/altIdentifier/issn/2192-5283; https://publikationen.bibliothek.kit.edu/1000178713; https://publikationen.bibliothek.kit.edu/1000178713/156836327; https://doi.org/10.5445/IR/1000178713
-
7
Authors:
Source: 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ; 450 ; 437
Subject Terms: CCS Concepts: • Computer systems organization → Architectures, Architectures, • Theory of computation → Logic and verification, Logic and verification, CXL, Cache Coherence, Proof Assistant, Heterogeneous Computing, Formal Proof ASPLOS '25, Rotterdam, Netherlands
Subject Geographic: Rotterdam Netherlands
File Description: application/pdf
Relation: ASPLOS '25: Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems; https://hdl.handle.net/10044/1/117459; https://www.dx.doi.org/10.1145/3676641.3715999
-
8
Authors: et al.
Contributors: et al.
Source: Artur Czumaj, Anuj Dawar, and Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020
Subject Terms: FOS: Computer and information sciences, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Theory of computation → Logic and verification, 01 natural sciences, Automata, Regular cost functions, higher-order recursion schemes, Infinite trees, Cost logics, downward closure, safe recursion schemes, cost automata, 0202 electrical engineering, electronic engineering, information engineering, cost logics, ddc:004, Safe scheme, Theory of computation → Rewrite systems, downward closures
File Description: application/pdf
-
9
Authors: et al.
Source: ACM Transactions on Computational Logic. 24:1-33
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, Theory of computation → Logic and verification, Automated reasoning, Verification by model checking, SMT, interpolation, arrays, amalgamation, 02 engineering and technology, 0101 mathematics, 01 natural sciences
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)
https://ujm.hal.science/ujm-04222610
13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24), Jan 2024, London, United Kingdom. pp.190-204, ⟨10.1145/3636501.3636942⟩
https://popl24.sigplan.org/home/CPP-2024Subject Terms: Logic and verification, Proof theory formal mathematics, Lean, mathlib, algebraic number theory, local fields, discrete valuation rings, Theory of computation, CCS Concepts: Theory of computation → Logic and verification, Proof theory formal mathematics Lean mathlib algebraic number theory local fields discrete valuation rings, CCS Concepts, Theory of computation → Logic and verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]
Subject Geographic: London, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2310.01998; ARXIV: 2310.01998
-
11
Authors: et al.
Contributors: et al.
Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic, Theory of computation → Proof theory, Set Theory, Classical Realizability, ddc:004, Large Cardinals, Theory of computation → Type theory, Theory of computation → Logic
File Description: application/pdf
-
12
Authors:
Contributors:
Subject Terms: FO logic, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theory of computation → Models of computation, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Discrete Mathematics (cs.DM), Theory of computation → Formal languages and automata theory, cellular automata, [MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS], Cayley Graphs, MSO logic, Cellular Automata, Dynamical Systems (math.DS), Theory of computation → Logic, Cayley graphs, Logic in Computer Science (cs.LO), Domino Problem, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], domino problem, FOS: Mathematics, ddc:004, Mathematics - Dynamical Systems, Computer Science - Discrete Mathematics
File Description: application/pdf
Access URL: http://arxiv.org/abs/2404.16430
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.154
https://hal.science/hal-04558369v1
https://hal.science/hal-04558369v1/document
https://doi.org/10.4230/lipics.icalp.2024.154
https://hal.science/hal-04785124v1
https://doi.org/10.4230/lipics.icalp.2024.154 -
13
Authors:
Contributors:
Source: Saarbrücken/Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, LIPIcs-Leibniz international proceedings in informatics 305, 27:[1]-27:26, 1871966 bytes (2024). doi:10.4230/LIPICS.SAT.2024.27
27th International Conference on Theory and Applications of Satisfiability Testing : SAT 2024, August 21–24, 2024, Pune, India / edited by Supratik Chakraborty, Jie-Hong Roland Jiang
27th International Conference on Theory and Applications of Satisfiability Testing : SAT 2024, August 21–24, 2024, Pune, India / edited by Supratik Chakraborty, Jie-Hong Roland Jiang27. International Conference on Theory and Applications of Satisfiability Testing, SAT 2024, Pune, India, 2024-08-21-2024-08-24Subject Terms: feature extraction, ddc:004, Satisfiability, running time prediction, Theory of computation → Logic and verification, satisfiability prediction
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 10009 Department of Informatics, automatic verification, decidability, 000 Computer science, knowledge & systems, [INFO] Computer Science [cs], Computational Complexity (cs.CC), Theory of computation → Logic, Logic in Computer Science (cs.LO), 1712 Software, reductions and completeness, Computer Science - Computational Complexity, Theory of computation → Problems, ddc:004, Computational reductions
File Description: application/pdf; LIPIcs.MFCS.2024.56.pdf - application/pdf
-
15
Authors: et al.
Subject Terms: ddc:004, Theory of computation → Design and analysis of algorithms, DATA processing & computer science, Information systems → Information integration, Maintenance and Distribution of Benchmark Instances and their Features, Theory of computation → Logic
File Description: application/pdf
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Theory of computation → Models of computation, Mathematics of computing → Graph theory, STACS 2024, Theory of computation → Design and analysis of algorithms, Theory of computation → Formal languages and automata theory, Complete Volume, [INFO] Computer Science [cs], Volume 289, Theory of computation → Computational complexity and cryptography, Mathematics of computing → Combinatorics, Theory of computation → Logic, LIPIcs
Access URL: https://hal.science/hal-04859229v1
-
17
Authors: et al.
Contributors: et al.
Source: Wadern : Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics 311, 37:1-37:19 (2024). doi:10.4230/LIPICS.CONCUR.2024.37
35th International Conference on Concurrency Theory : CONCUR 2024, September 9-13, 2024, Calgary, Canada / edited by Rupak Majumdar, Alexandra Silva
35th International Conference on Concurrency Theory : CONCUR 2024, September 9-13, 2024, Calgary, Canada / edited by Rupak Majumdar, Alexandra Silva35. International Conference on Concurrency Theory, CONCUR 2024, Calgary, Canada, 2024-09-09-2024-09-13Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Model checking, Approximate bisimulation, Markov chains, Theory of computation → Random walks and Markov chains, ddc:004, Abstraction, Theory of computation → Logic and verification, Logic in Computer Science (cs.LO)
File Description: application/pdf
-
18
Authors:
Contributors:
Source: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. :225-238
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], reduction, Automated reasoning, 0102 computer and information sciences, Higher order logic concurrency, 01 natural sciences, Dedukti, rewriting, Logic in Computer Science (cs.LO), sharing, type checking, Rust, concurrency, Interactive proof systems, 0101 mathematics, verification, performance, Equational logic and rewriting, CCS Concepts: • Theory of computation → Logic and verification
File Description: application/pdf
-
19
Authors:
Source: ISSN: 1868-8969.
Subject Terms: quantifier elimination, matrix, theorem proving, real arithmetic, Theory of computation → Logic and verification, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004
File Description: application/pdf
Relation: Leibniz International Proceedings in Informatics (LIPIcs); info:eu-repo/semantics/altIdentifier/issn/1868-8969; https://publikationen.bibliothek.kit.edu/1000174216; https://publikationen.bibliothek.kit.edu/1000174216/154688957; https://doi.org/10.5445/IR/1000174216
-
20
Authors: Kammueller, F.
Subject Terms: Security and Privacy, Software and Application Security, Human-centered computing - Visualisation, Theory of computation - Logic
File Description: application/pdf
Relation: https://repository.mdx.ac.uk/download/80ae11e90863cd67b8474d3050c8b4c1619373b1e37dd8b3bfb73989941005ce/3759663/3664476.3670928.pdf; https://doi.org/10.1145/3664476.3670928; Kammueller, F. 2024. Analyzing air-traffic security using GIS-``blur'' with information flow control in the IIIf. 19th International Conference on Availability, Reliability and Security. Vienna, Austria 30 Jul - 02 Aug 2024 New York, NY Association for Computing Machinery (ACM). pp. 1-8 https://doi.org/10.1145/3664476.3670928
Full Text Finder 
Nájsť tento článok vo Web of Science