Andrzej Tarlecki

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 3

Top Topics

Prime Implicates

Propositional Dynamic Logic

Database Designer

Logical Language

Top Venues

Software, Services, and Systems

Math. Struct. Comput. Sci.

Publications