scientific article; zbMATH DE number 4053051

zbMATH Open0645.68086MaRDI QIDQ3789094FDOQ3789094

Authors: Yasuo Kawahara 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Relational and algebraic methods in computer science
• Completeness of a relational calculus for program schemes
• Title not available (Why is that?)
• On Automating the Calculus of Relations
• Relational calculus for actionable knowledge
• Title not available (Why is that?)

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)