scientific article; zbMATH DE number 15249

zbMATH Open0797.68068MaRDI QIDQ3977578FDOQ3977578

Authors: Manuel E. Bermudez, George Logothetis 

Publication date: 25 June 1992

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

Recommendations

• Parallelizing the closure computation in automated deduction
• scientific article; zbMATH DE number 1948455
• scientific article; zbMATH DE number 1849117
• scientific article; zbMATH DE number 4172390
• On computing graph closures

zbMATH Keywords

parallel computationlanguage processingclosure on finite subset relations

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Combinatorics in computer science (68R05) Distributed algorithms (68W15) Other classical set theory (including functions, relations, and set algebra) (03E20)

Cited In (5)

• Title not available (Why is that?)
• Computations with finite closure systems and implications
• Parallel integer relation detection: techniques and applications
• Title not available (Why is that?)
• Parallelizing the closure computation in automated deduction

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