Search Results - "logics of programming"
Suggested Topics within your search.
Suggested Topics within your search.
- language theory, automata, and games 6
- logics of programming 6
- modal, spatial, and temporal logics 6
- models of software security 6
- categorical models and logics 5
- emerging models of computation 5
- logical aspects of computational complexity 5
- software specification and refinement 5
- program analysis 4
- thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations 4
- concurrency theory 3
- concurrency theory and process calculi 3
- rewriting theory 3
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures 3
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 3
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design 3
- type theory and proof theory 3
- Computer programming / software engineering 2
- Programming Techniques 2
- formal logic 2
- logical foundations of data bases 2
- semantics of programming languages 2
- thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory 2
- thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic 2
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering 2
- thema EDItEUR::U Computing and Information Technology::UY Computer science 2
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists 2
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 2
- Artificial intelligence 1
- Categorical models and logics 1
-
Foundations of Software Science and Computation Structures
Published 2024Subjects: “…logics of programming…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2024Subjects: “…logics of programming…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2025Subjects: “…logics of programming…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2020Subjects: “…logics of programming…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2021Subjects: “…logics of programming…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2022Subjects: “…logics of programming…”
Get full text
Online