scientific article; zbMATH DE number 3473274

MaRDI QIDQ4057558zbMATH OpenFDO

Authors

Publication date 1974

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Computability and recursion theory (03D99) Cylindric and polyadic algebras; relation algebras (03G15) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(8)

• An automata theoretic decision procedure for the propositional mu- calculus
• Least fixed points revisited
• IO and OI. I
• IO and OI. II
• Parallel constructions of maximal path sets and applications to short superstrings
• Monomorphic characterization of n-ary direct products
• scientific article; zbMATH DE number 3814949 (Why is no real title available?)
• A Bibliography of Willem-Paul de Roever

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