scientific article; zbMATH DE number 4135870

zbMATH Open0693.94009MaRDI QIDQ3469043FDOQ3469043

Authors: S. N. Vasil'ev, S. G. Patrushev 

Publication date: 1989

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

Recommendations

• scientific article; zbMATH DE number 3858396
• Description and reasoning of VLSI circuit in temporal logic
• Trace theory and VLSI design
• A logic-topological calculus for the construction of integrated circuits. I
• scientific article; zbMATH DE number 3871202

zbMATH Keywords

optimizationVLSI structuresmodel theoretic semanticstyped quantifier language

Mathematics Subject Classification ID

Circuits, networks (94C99) Model theory (03C99)

Cited In (5)

• Applying learning by examples for digital design automation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Data structures for extension violations in a query range
• Description and reasoning of VLSI circuit in temporal logic

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