Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Back to Simple Search

Advanced Search

Match of the following rules

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 8 of 8

Order by Relevance | Title | Year of publication

Minimum segments in sequent derivations.

Borisavljević, Mirjana — 2003

Publications de l'Institut Mathématique. Nouvelle Série

Maximum Cuts in Extended Natural Deduction

Mirjana Borisavljević — 2010

Publications de l'Institut Mathématique

Normal Form Theorem for Systems of Sequents

Mirjana Borisavljević — 2007

Publications de l'Institut Mathématique

Doctoral Dissertations in Logic from Virtual Library of the Faculty of Mathematics in Belgrade

Mirjana Borisavljević — 2010

Review of the National Center for Digitization

Addendum to the Paper “Doctoral Dissertations in Logic from Virtual Library of Faculty of Mathematics in Belgrade”

Mirjana Borisavljević — 2010

Review of the National Center for Digitization

Doctoral Dissertations in Logic

Mirjana Borisavljević — 2012

Review of the National Center for Digitization

Normalization as a consequence of cut elimination

Mirjana Borisavljević — 2009

Publications de l'Institut Mathématique

Connections between cuts and maximum segments

Mirjana Borisavljević — 2010

Kragujevac Journal of Mathematics

Page 1

Download Results (CSV)