Michael Sołtys
2 artykuły w 1 czasopismach
-
Boolean Programs and Quantified Propositional Proof Systems Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 3 / s. 119 - 1291999CZYSTY TEKST
Stephen Cook, Michael Sołtys, Boolean Programs and Quantified Propositional Proof Systems, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 3, s. 119 - 129
BIBTEX@Article{ authors = "Stephen Cook, Michael Sołtys", title = "Boolean Programs and Quantified Propositional Proof Systems", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 3", pages = "119 - 129" }
-
Extended Frege and Gaussian Elimination Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 4 / s. 189 - 2052002CZYSTY TEKST
Michael Sołtys, Extended Frege and Gaussian Elimination, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 4, s. 189 - 205
BIBTEX@Article{ authors = "Michael Sołtys", title = "Extended Frege and Gaussian Elimination", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 4", pages = "189 - 205" }
