Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Predrag Janičić

Formalization of Abstract State Transition Systems for SAT

Logical Methods in Computer Science

Computer Science

Theoretical Computer Science

English

Formalization and Implementation of Algebraic Methods in Geometry

Electronic Proceedings in Theoretical Computer Science, EPTCS

English