Norman D. Megill

According to our database, Norman D. Megill authored at least 7 papers between 1995 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces.

Mladen Pavicic, Norman D. Megill

Entropy, 2018

2017

New classes of Kochen-Specker contextual sets.

Norman D. Megill, Mladen Pavicic

Proceedings of the 40th International Convention on Information and Communication Technology, 2017

2011

Estimating Bernoulli trial probability from a small sample

Norman D. Megill, Mladen Pavicic

CoRR, 2011

2008

Standard Logics Are Valuation-Nonmonotonic.

Mladen Pavicic, Norman D. Megill

J. Log. Comput., 2008

2006

Metamath.

Norman D. Megill

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

1996

Weaker D-Complete Logics.

Norman D. Megill, Martin W. Bunder

Log. J. IGPL, 1996

1995

A Finitely Axiomatized Formalization of Predicate Calculus with Equality.

Norman D. Megill

Notre Dame J. Formal Log., 1995