Pages that link to "Item:Q5600863"
From MaRDI portal
The following pages link to Algorithmic properties of structures (Q5600863):
Displaying 31 items.
- A survey of state vectors (Q458456) (← links)
- The axiomatics of ordered geometry: I. Ordered incidence spaces (Q533109) (← links)
- Necessary and sufficient conditions for the universality of programming formalisms (Q801666) (← links)
- Equivalences among logics of programs (Q801684) (← links)
- A contraction-free and cut-free sequent calculus for propositional dynamic logic (Q965900) (← links)
- Process logic with regular formulas (Q1062047) (← links)
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) (← links)
- Computable queries for relational data bases (Q1151060) (← links)
- Algorithmic logic. Multiple-valued extensions (Q1155047) (← links)
- Definability by programs in first-order structures (Q1171876) (← links)
- Function iteration logics and flowchart schemata (Q1226854) (← links)
- On approximate and algebraic computability over the real numbers (Q1292404) (← links)
- Computation by `While' programs on topological partial algebras (Q1292414) (← links)
- Stratified least fixpoint logic (Q1331926) (← links)
- Hilbert's error? (Q1622647) (← links)
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond (Q2117588) (← links)
- \(\mathbf P =\mathbf{NP}\) for some structures over the binary words (Q2387422) (← links)
- Contribution of Warsaw logicians to computational logic (Q2422533) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Regular expressions and the equivalence of programs (Q2536436) (← links)
- Zur Einbettungsbedingung im Zusammenhang mit einer Programmiersprache von Engeler (Q2537124) (← links)
- A note on the embedding property (Q2545526) (← links)
- Algorithmic approximations (Q2553150) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Étude et implémentation d'un système de déduction pour logique algorithmique (Q3802671) (← links)
- (Q4742767) (← links)
- Aristotle’s Relations: An Interpretation in Combinatory Logic (Q5057051) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
- Zur Theorie Algorithmisch Abgeschlossener Modellklassen (Q5600864) (← links)
