scientific article
From MaRDI portal
Publication:3690194
zbMath0572.68008MaRDI QIDQ3690194
Richard Waldinger, Zohar Manna
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) Classical propositional logic (03B05) Data structures (68P05)
Related Items (19)
\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} ⋮ Design strategies for rewrite rules ⋮ Generalizations of multisets and rough approximations ⋮ Synthesis of positive logic programs for checking a class of definitions with infinite quantification ⋮ Proof by analogy in mural ⋮ Synthesis and equivalence of concurrent systems ⋮ NOTION OF FUZZY IC-BAGS ⋮ Multi-fuzzy soft groups ⋮ Productive use of failure in inductive proof ⋮ The power of temporal proofs ⋮ Bubbles in modularity ⋮ Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language ⋮ Proximity measures for terms based on fuzzy neighborhoods in document sets. ⋮ Synthesis of sorting algorithms using multisets in \textit{Theorema} ⋮ Different generalizations of bags ⋮ Fuzzy shadows ⋮ Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema ⋮ Constructing specification morphisms ⋮ Sequential and data flow models of processing
This page was built for publication:
