Skip to main content

1 Result(s)

within Computer Science Remove this filter Computer Systems Organization and Communication Networks Remove this filter Software Engineering/Programming and Operating Systems Remove this filter **g-** Ge Remove this filter Chapter Remove this filter

and
Your search also matched 14 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Research and Application of Low Voltage Distributed Power Supply Control System

Include preview-only content

  1. Chapter and Conference Paper

    A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations

    SMT-based program analysis and verification often involve reasoning about program features that have been specified using quantifiers; incorporating quantifiers into SMT-based reasoning is, however, known to b...

    Rui Ge, Ronald Garcia, Alexander J. Summers in Automated Reasoning (2024)

    Download PDF (339 KB) View Chapter