Charles C. Pinter

Publication Activity (10 Years)

Years Active: 1970-2016
Publications (10 Years): 1

Top Topics

Simulation Model

Top Venues

Publications

Charles C. Pinter
Stone Space of cylindric Algebras and Topological Model Spaces. J. Symb. Log. 81 (3) (2016)
Charles C. Pinter
Complexity of Network Training for Classes of Neural Networks. ALT (1995)
Charles C. Pinter
Properties Preserved under Definitional Equivalence and Interpretations. Math. Log. Q. 24 (31-36) (1978)
Newton C. A. da Costa, Charles C. Pinter
α Logic and Infinitary Languages. Math. Log. Q. 22 (1) (1976)
Charles C. Pinter
Algebraic logic with generalized quantifiers. Notre Dame J. Formal Log. 16 (4) (1975)
Charles C. Pinter
A simple algebra of first order logic. Notre Dame J. Formal Log. 14 (3) (1973)
Charles C. Pinter
On Simplifying Truth Functions: A Preliminary Reduction of Coreless Formulas. IEEE Trans. Computers 20 (8) (1971)
Charles C. Pinter
On decomposing a Boolean function and simplfying the components separately. Commun. ACM 13 (12) (1970)