scientific article; zbMATH DE number 3322506
From MaRDI portal
Publication:5601829
Recommendations
- The Foundations of Computability Theory
- The Foundations of Computability Theory
- scientific article; zbMATH DE number 2109415
- scientific article; zbMATH DE number 2013199
- scientific article; zbMATH DE number 1052322
- scientific article; zbMATH DE number 1107625
- scientific article; zbMATH DE number 1222088
- scientific article; zbMATH DE number 1101599
- scientific article; zbMATH DE number 2062344
- On the computational properties of basic mathematical notions
Cited in
(96)- Relational algebraic semantics of deterministic and nondeterministic programs
- A theory for nondeterminism, parallelism, communication, and concurrency
- On merging software extensions
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- \(\mathbb{T}^\omega\) as a universal domain
- Computation on graph-like expressions
- Optimal evaluations of graph-like expressions
- Prolegomena to a theory of mechanized formal reasoning
- On the algebra of order
- Varieties of chain-complete algebras
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II
- Programs as partial graphs. I: Flow equivalence and correctness
- Abstract data types and algebraic semantics of programming languages
- Map theory
- A formal system of partial recursive functions
- Program equivalence and context-free grammars
- Language design methods based on semantic principles
- Least fixed points revisited
- Relationships between classes of monotonic functions
- IO and OI. I
- A canonical form algorithm for proving equivalence of conditional forms
- IO and OI. II
- Monadic recursion schemes: The effect of constants
- A fully abstract semantics for concurrent constraint programming
- Computation by `While' programs on topological partial algebras
- A Gentzen system for conditional logic
- On primitive recursive algorithms and the greatest common divisor function
- Process algebra and conditional composition
- Identification of biological transition systems using meta-interpreted logic programs
- On the representation of McCarthy's amb in the -calculus
- A brief history of process algebra
- Recursion induction principle revisited
- The origins of structural operational semantics
- On building cyclic and shared structures in Haskell
- Monoids with tests and the algebra of possibly non-halting programs
- Milestones from the Pure Lisp Theorem Prover to ACL2
- Missing values and dragonfly operations in fuzzy relational compositions
- On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else}
- Observational program calculi and the correctness of translations
- Belnap's logic and conditional composition
- Regular expressions and the equivalence of programs
- On formalised computer programs
- Mathematical theory of partial correctness
- Correspondence analysis and automated proof-searching for first degree entailment
- A domain-theoretic model of nominally-typed object-oriented programming
- Interaction nets with McCarthy's \(\mathsf{amb}\)
- Introduction to model checking
- Combining Model Checking and Deduction
- Variations on the collapsing lemma
- A glimpse into the paradise of combinatory algebra
- Efficient Well-Definedness Checking
- A Complete Axiomatization of Computer Arithmetic
- Infinite trees in normal form and recursive equations having a unique solution
- Algebraic specification of data types: A synthetic approach
- Recursive data structures
- scientific article; zbMATH DE number 3567992 (Why is no real title available?)
- scientific article; zbMATH DE number 3576674 (Why is no real title available?)
- scientific article; zbMATH DE number 3589705 (Why is no real title available?)
- Inversive meadows and divisive meadows
- A computational interpretation of conceptivism
- Algebraic properties of if-then-else and commutative three-valued tests
- A map of dependencies among three-valued logics
- A generalization of ACP using Belnap's logic
- Axiomatization of if-then-else over possibly non-halting programs and tests
- Reasoning about multi-stage programs
- An independent axiomatisation for free short-circuit logic
- scientific article; zbMATH DE number 6287652 (Why is no real title available?)
- A calculus for four-valued sequential logic
- Semantical analysis of weak Kleene logics
- Non-commutative propositional logic with short-circuit evaluation
- A -denotational semantics for map theory in ZFC+SI
- Specification and verification of concurrent systems by causality and realizability
- Smart Choices and the Selection Monad
- scientific article; zbMATH DE number 7731929 (Why is no real title available?)
- Extracting total Amb programs from proofs
- Equations for if-then-else
- A theorem prover for a computational logic
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- Towards systematic treatment of partial functions in knowledge representation
- Schematic program proofs with abstract execution. Theory and applications
- On three-valued presentations of classical logic
- Normalisation for some infectious logics and their relatives
- Fully evaluated left-sequential logics
- Computational interpretations of linear logic
- Conditional logic as a short-circuit logic
- A unified view of induction reasoning for first-order logic
- Adas and the equational theory of if-then-else
- Computer-aided searching for a tabular many-valued discussive logic -- matrices
- Classical logic with n truth values as a symmetric many-valued logic
- Computer theorem proving in mathematics
- Comparison semigroups and algebras of transformations.
- A prudent logic of partial functions
- Recursively unsolvable word problems of modular lattices and diagram- chasing
- Nondeterministic three-valued logic: isotonic and guarded truth-functions
- A first order logic for partial functions
- External and internal syntax of the \(\lambda \)-calculus
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5601829)
