Algorithmic properties of structures
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3216177 (Why is no real title available?)
- scientific article; zbMATH DE number 3237808 (Why is no real title available?)
- CONSTRUCTIVE ALGEBRAS I
- Computability of Recursive Functions
- Computable Algebra, General Theory and Theory of Computable Fields
- Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
- Some definitional suggestions for automata theory
Cited in
(32)- A contraction-free and cut-free sequent calculus for propositional dynamic logic
- Program-substitution and admissibility of rules in algorithmic logic
- Étude et implémentation d'un système de déduction pour logique algorithmique
- On approximate and algebraic computability over the real numbers
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- Contribution of Warsaw logicians to computational logic
- The axiomatics of ordered geometry: I. Ordered incidence spaces
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond
- Hilbert's error?
- Computable queries for relational data bases
- Axiomatizing geometric constructions
- Zur Theorie Algorithmisch Abgeschlossener Modellklassen
- A survey of state vectors
- Algorithmic logic. Multiple-valued extensions
- From Monadic Logic to PSL
- \(\mathbf P =\mathbf{NP}\) for some structures over the binary words
- Stratified least fixpoint logic
- From Philosophical to Industrial Logics
- Algorithmic approximations
- Computation by `While' programs on topological partial algebras
- Aristotle’s Relations: An Interpretation in Combinatory Logic
- Process logic with regular formulas
- Actions and deontology: Janusz Czelakowski on actions and their assessment
- Necessary and sufficient conditions for the universality of programming formalisms
- Zur Einbettungsbedingung im Zusammenhang mit einer Programmiersprache von Engeler
- A note on the embedding property
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
- scientific article; zbMATH DE number 3797730 (Why is no real title available?)
- Equivalences among logics of programs
- Definability by programs in first-order structures
- Regular expressions and the equivalence of programs
- Function iteration logics and flowchart schemata
This page was built for publication: Algorithmic properties of structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5600863)
