Výsledky vyhledávání - Theory of computation Logic Abstraction

00: The Recursive Zero and the Layered Abstraction of Number

Autoři: Bolter, Barry Brian

Přispěvatelé: Bolter, Barry Brian

Témata: Recursive zero, Double zero (00), Mathematical abstraction, Logic boundary, Structural recursion, Formal systems, Zero asymmetry, Automata theory, Computational logic, Recursive computation, Meta-neutral element, Type theory, Recursive mathematics, Non-standard number systems, Closure and abstraction, Symbolic logic, Foundations of Mathematics, Logic and Set Theory, Number Theory (Non-standard number systems), Formal Languages and Automata Theory, Theory of Computation, Programming Languages (Semantics, Type Systems), Philosophy of Mathematics, Ontology of Abstraction, Symbolic Reasoning, Recursive Representation Models

Relation: https://zenodo.org/records/15667175; oai:zenodo.org:15667175; https://doi.org/10.5281/zenodo.15667175

Dostupnost: https://doi.org/10.5281/zenodo.15667175
https://zenodo.org/records/15667175

A Spectrum of Approximate Probabilistic Bisimulations

Autoři: Spork, Timm Baier, Christel Katoen, Joost-Pieter a další

Přispěvatelé: Spork, Timm Baier, Christel Katoen, Joost-Pieter a další

Zdroj: 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-13

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2407.07584
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.37
https://publications.rwth-aachen.de/record/1005879

Yeo’s Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic

Autoři: Di Guardia, Rémi Laurent, Olivier Tortora de Falco, Lorenzo a další

Přispěvatelé: Di Guardia, Rémi Laurent, Olivier Tortora de Falco, Lorenzo a další

Zdroj: Leibniz International Proceedings in Informatics (LIPIcs) ; 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025) ; https://hal.science/hal-05149336 ; 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.16⟩

Témata: Theory of computation → Linear logic, Mathematics of computing → Graph coloring, Yeo’s Theorem, Graph Theory, Sequentialization, Proof Net, Linear Logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Birmingham, United Kingdom

Dostupnost: https://hal.science/hal-05149336
https://hal.science/hal-05149336v1/document
https://hal.science/hal-05149336v1/file/LIPIcs.FSCD.2025.16.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2025.16

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs

Autoři: Dal Lago, Ugo Gavazzo, Francesco Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO) a další

Přispěvatelé: Dal Lago, Ugo Gavazzo, Francesco Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO) a další

Zdroj: FSCD 2021 - 6th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-03520742 ; FSCD 2021 - 6th International Conference on Formal Structures for Computation and Deduction, Jul 2021, Buenos Aires, Argentina

Témata: full abstraction, program equivalence, linearity, 2012 ACM Subject Classification Theory of computation → Operational semantics phrases algebraic effects, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Buenos Aires, Argentina

Dostupnost: https://inria.hal.science/hal-03520742
https://inria.hal.science/hal-03520742v1/document
https://inria.hal.science/hal-03520742v1/file/main.pdf

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autoři: Parosh Aziz Abdulla Delia Kesner

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques

Autoři: Prebet, Enguerrand École normale supérieure de Lyon (ENS de Lyon) Université de Lyon a další

Přispěvatelé: Prebet, Enguerrand École normale supérieure de Lyon (ENS de Lyon) Université de Lyon a další

Zdroj: ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming ; https://hal.science/hal-03920025 ; ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming, Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.114⟩

Témata: Type System, Bisimulation, π-calculus, 2012 ACM Subject Classification Theory of computation → Semantics and reasoning, Pi Calculus, Imperative programming, Call-by-value λ-calculus, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Paris, France

Dostupnost: https://hal.science/hal-03920025
https://hal.science/hal-03920025v1/document
https://hal.science/hal-03920025v1/file/lambda_ref.pdf
https://doi.org/10.4230/LIPIcs.ICALP.2022.114

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Naoki Kobayashi James Worrell

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Mono Types - First-Class Containers for Datalog

Autoři: Xu, Runqing Klopp, David Erdweg, Sebastian a další

Témata: Datalog, compiler optimization, Theory of computation → Constraint and logic programming, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004

Popis souboru: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-8-33-132289-3; https://publikationen.bibliothek.kit.edu/1000187537; https://publikationen.bibliothek.kit.edu/1000187537/170103974; https://doi.org/10.5445/IR/1000187537/v2

Dostupnost: https://publikationen.bibliothek.kit.edu/1000187537
https://publikationen.bibliothek.kit.edu/1000187537/170103974
https://doi.org/10.5445/IR/1000187537/v2

Generically Automating Separation Logic by Functors, Homomorphisms, and Modules

Autoři: Xu, Qiyuan Sanan, David Hou, Zhe a další

Témata: Software engineering, Theory of computation, Numerical and computational mathematics

Relation: Proceedings of the ACM on Programming Languages; Xu, Q; Sanan, D; Hou, Z; Luan, X; Watt, C; Liu, Y, Generically Automating Separation Logic by Functors, Homomorphisms, and Modules, Proceedings of the ACM on Programming Languages, 2025, 9 (POPL), pp. 67; https://hdl.handle.net/10072/435160

Dostupnost: https://hdl.handle.net/10072/435160
https://doi.org/10.1145/3704903

Foundations of Software Science and Computation Structures

Autoři: Patricia Bouyer Lutz Schröder

Resource Type: eBook.

Témata: Information theory, Software engineering--Congresses, Computer software--Congresses, Computer systems

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION

Autoři: WALSH, SEAN

Zdroj: Bulletin of Symbolic Logic. 22(1)

Témata: 5003 Philosophy (for-2020), 4904 Pure Mathematics (for-2020), 49 Mathematical Sciences (for-2020), 50 Philosophy and Religious Studies (for-2020), abstraction principles, predicativity, second-order arithmetic, Frege, Frege's Theorem, math.LO, math.LO, 03F35, 03F25, 03-03, abstraction principles, predicativity, second-order arithmetic, Frege, Frege’s Theorem, 0101 Pure Mathematics (for), 0802 Computation Theory and Mathematics (for), General Mathematics (science-metrix), 4613 Theory of computation (for-2020), 4904 Pure mathematics (for-2020), 5003 Philosophy (for-2020)

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/1jj8v6w2
https://escholarship.org/content/qt1jj8v6w2/qt1jj8v6w2.pdf

Layered and Object-Based Game Semantics *

Autoři: Oliveira Vale, Arthur Melliès, Paul-André Shao, Zhong a další

Přispěvatelé: Oliveira Vale, Arthur Melliès, Paul-André Shao, Zhong a další

Zdroj: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://inria.hal.science/hal-03456034 ; Proceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498703⟩.

Témata: game semantics, program refinement, CCS Concepts: • Theory of computation → Program verification, Program specifications, Abstraction, Program semantics, Logic and verification, Linear logic, • Software and its engineering → Correctness object-based semantics, certified abstraction layers, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT], [MATH.MATH-QA]Mathematics [math]/Quantum Algebra [math.QA], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Dostupnost: https://inria.hal.science/hal-03456034
https://inria.hal.science/hal-03456034v1/document
https://inria.hal.science/hal-03456034v1/file/ValeMelliesShaoKoenigStefanesco22.pdf
https://doi.org/10.1145/3498703

SSA translation is an abstract interpretation (with appendices)

Autoři: Lemerre, Matthieu Laboratoire Sûreté des Logiciels (LSL) Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)) a další

Přispěvatelé: Lemerre, Matthieu Laboratoire Sûreté des Logiciels (LSL) Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)) a další

Zdroj: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://cea.hal.science/cea-03849637 ; Proceedings of the ACM on Programming Languages, 2023, POPL 2023 - the 50th ACM SIGPLAN Symposium on Principles of Programming Languages, 7, pp.65. ⟨10.1145/3571258⟩ ; https://dl.acm.org/journal/pacmpl.

Témata: Abstraction, Equational logic and rewriting Static Single Assignment (SSA), Abstract interpretation, Cyclic term graph, Program verification, • Theory of computation → Program analysis, Formal software verification, CCS Concepts: • Software and its engineering → Compilers, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: https://doi.org/10.5281/zenodo.7152678

Dostupnost: https://cea.hal.science/cea-03849637
https://cea.hal.science/cea-03849637v2/document
https://cea.hal.science/cea-03849637v2/file/2023-popl-full-with-appendices%20%281%29.pdf
https://doi.org/10.1145/3571258

A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions

Autoři: Matheja, Christoph id_orcid:0 000-0001-9151-0441 Pagel, Jens a další

Zdroj: ACM Transactions on Computational Logic, 24 (1)

Témata: Theory of computation, Automated reasoning, Separation logic, Abstraction, Logic and verification, Problems, reductions and completeness, Decision procedures, entailment, magic wands, inductive predicates

Relation: info:eu-repo/semantics/altIdentifier/wos/000920068900001; http://hdl.handle.net/20.500.11850/598183

Dostupnost: https://hdl.handle.net/20.500.11850/598183

Verification of Program Transformations with Inductive Refinement Types

Autoři: Al-Sibahi, Ahmad, Salim Jensen, Thomas, P Dimovski, Aleksandar, S a další

Přispěvatelé: Al-Sibahi, Ahmad, Salim Jensen, Thomas, P Dimovski, Aleksandar, S a další

Zdroj: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://inria.hal.science/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩.

Témata: CCS Concepts: • Theory of computation → Program verification, Program analysis, Abstraction, Functional constructs, Program schemes, Operational semantics, Control primitives, • Software and its engineering → Translator writing systems and compiler generators, Semantics, Transformation languages, abstract interpretation, static analysis, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Dostupnost: https://inria.hal.science/hal-03518825
https://inria.hal.science/hal-03518825v1/document
https://inria.hal.science/hal-03518825v1/file/Rabit_TOSEM.pdf
https://doi.org/10.1145/3409805

Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings

Autoři: Ghalya Alwhishi Jamal Bentahar Ahmed Elwhishi a další

Témata: Information and computing sciences, Artificial intelligence, Data management and data science, Distributed computing and systems software, Software engineering, Theory of computation, Multi-valued model checking, IoTs, Commitment protocols, Lattice-valued logics

Dostupnost: https://doi.org/10.1016/j.inffus.2024.102502
https://figshare.com/articles/journal_contribution/Multi-valued_verification_of_commitment_systems_with_uncertainty_and_inconsistency_in_multi-source_data_settings/29109047

Towards a specification theory for fuzzy modal logic

Autoři: Jain, Manisha Gomes, Leandro Madeira, Alexandre a další

Témata: Dynamic logic, Fuzzy logic, Specification

Popis souboru: application/pdf

Relation: 978-1-6654-4164-3

Dostupnost: http://hdl.handle.net/10773/32330

Beyond Decisiveness of Infinite Markov Chains

Autoři: Barbot, Benoît Bouyer, Patricia Haddad, Serge a další

Přispěvatelé: Barbot, Benoît Bouyer, Patricia Haddad, Serge a další

Zdroj: 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024)
https://hal.science/hal-04822969
44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024), Dec 2024, Gandhinagar, Gujarat, India. pp.8:1-8:22, ⟨10.4230/lipics.fsttcs.2024.8⟩

Témata: Theory of computation → Concurrency, Mathematics of computing → Markov processes, Numerical and Statistical Verification, Infinite State Systems, Markov Chains, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geografické téma: Gandhinagar, Gujarat, India

Dostupnost: https://hal.science/hal-04822969
https://hal.science/hal-04822969v1/document
https://hal.science/hal-04822969v1/file/LIPIcs.FSTTCS.2024.8.pdf
https://doi.org/10.4230/lipics.fsttcs.2024.8

Gamma-star Reduction in the Type-theory of Acyclic Algorithms

Autoři: Loukanova, Roussanka

Zdroj: Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018). :231-242

Témata: Mathematics Of Algorithms, Recursion, Types, Semantics, Algorithmic Semantics, Denotation, Canonical Computations, matematisk logik, Mathematical Logic

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-161666
https://doi.org/10.5220/0006662802310242

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics