Kosta Dosen

Publication Activity (10 Years)

Years Active: 1978-2019
Publications (10 Years): 4

Top Topics

Horn Contraction

Natural Deduction

Propositional Logic

Attributed Graphs

Top Venues

Bull. Symb. Log.

Math. Struct. Comput. Sci.

Appl. Categorical Struct.

Publications