scientific article

From MaRDI portal

Revision as of 04:12, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4057558

Jump to:navigation, search

zbMath0302.68019MaRDI QIDQ4057558

No author found.

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (8)

Parallel constructions of maximal path sets and applications to short superstrings ⋮ An automata theoretic decision procedure for the propositional mu- calculus ⋮ Monomorphic characterization of \(n\)-ary direct products ⋮ Unnamed Item ⋮ A Bibliography of Willem-Paul de Roever ⋮ Least fixed points revisited ⋮ IO and OI. I ⋮ IO and OI. II

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4057558&oldid=17790906"