István Németi

Publication Activity (10 Years)

Years Active: 1973-2023
Publications (10 Years): 8

Top Topics

Relation Algebra

Logical Language

Quantifier Free

Light Scattering

Top Venues

Arch. Formal Proofs

Rev. Symb. Log.

Ann. Pure Appl. Log.

Publications