scientific article; zbMATH DE number 4053051

MaRDI QIDQ3789094zbMATH OpenFDO

Authors Yasuo Kawahara

Publication date 1988

zbMATH Keywords

automata theorynon-determinismrecursive programsrelational calculusfixed point semanticstheory of algorithms

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Categories of spans/cospans, relations, or partial maps (18B10) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65)

Recommendations

• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• Relational and Kleene-Algebraic Methods in Computer Science
• On Automating the Calculus of Relations
• A Logic of Type Relations and its Applications to Relational Databases
• scientific article; zbMATH DE number 1390243

Cited in

(6)

• Relational and algebraic methods in computer science
• scientific article; zbMATH DE number 1696901 (Why is no real title available?)
• Completeness of a relational calculus for program schemes
• On Automating the Calculus of Relations
• Relational calculus for actionable knowledge
• scientific article; zbMATH DE number 165003 (Why is no real title available?)

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 Q3789094)