Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Kenneth L. McMillan

Generalizing DPLL to Richer Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Induction in Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Related publications

Ixtroduction to Coding Logics.

The Journal of the Institute of Television Engineers of Japan
1990English

Fiber Surfaces: Generalizing Isosurfaces to Bivariate Data

Computer Graphics Forum
Computer NetworksComputer GraphicsComputer-Aided DesignCommunications
2015English

Can Richer Metadata Rescue Research?

Serials Librarian
LibraryInformation Sciences
2018English

Two-Layer Modal Logics: From Fuzzy Logics to a General Framework

English

Fitness for Richer, for Poorer

European Journal of Preventive Cardiology
EpidemiologyCardiovascular MedicineCardiology
2020English

Generalizing Starobinskĭ's Formalism to Yukawa Theory & to Scalar QED

Journal of Physics: Conference Series
AstronomyPhysics
2007English

Insensitivity to Sample Bias: Generalizing From Atypical Cases.

Journal of Personality and Social Psychology
Social PsychologySociologyPolitical Science
1980English

Generalizing Email Messages Digests

2011English

Generalizing Vaught Sentences From Ω to Strong Cofinality Ω

Fundamenta Mathematicae
Number TheoryAlgebra
1974English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy