Skip to main navigation
Skip to search
Skip to main content

Experts@Minnesota Home

Home
Profiles
Research units
University Assets
Projects and Grants
Research output
Press/Media
Datasets
Activities
Fellowships, Honors, and Prizes

Search by expertise, name or affiliation

Programming with higher-order logic

Dale Miller, Gopalan Nadathur

Computer Science and Engineering

Research output: Book/Report › Book

106 Scopus citations

Overview
Fingerprint

Fingerprint

Dive into the research topics of 'Programming with higher-order logic'. Together they form a unique fingerprint.

Sort by
Weight
Alphabetically

Engineering & Materials Science

Powered by Pure, Scopus & Elsevier Fingerprint Engine™

All content on this site: Copyright © 2024 Elsevier B.V. or its licensors and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the Creative Commons licensing terms apply

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

About web accessibility

Report vulnerability