Remmelem) wykazał, że analogiczny problem jest Sigma-1-1 zupełny.
Publikacje Marek jest autorem ponad 180 prac naukowych w dziedzinie podstaw matematyki i podstaw informatyki. Jest też edytorem licznych tomów prac konferencyjnych oraz autorem czterech książek: Logika i Podstawy Matematyki w Zadaniach (wspólnie z Januszem Onyszkiewiczem) Analiza Kombinatoryczna (wspólnie z W. Lipskim) Nonmonotonic Logic - Context-dependent Reasoning (wspólnie z M. Truszczyńskim) Introduction to Mathematics of Satisfiability
Funkcje edytorskie Fundamenta Informaticae Central European Journal of Mathematics (Open Mathematics) Journal of Applied Logic Transactions on Rough Sets
Przypisy
Linki zewnętrzne strona personalna Prof. V.W. Marka w USA Teksty dostępne online Linki do prezentacji i innych materiałów Biblioteka Wirtualna Nauki
Kategoria:Polscy informatycy Kategoria:Polscy matematycy XX wieku Kategoria:Polscy matematycy XXI wieku Kategoria:Polscy twórcy podręczników matematyki Kategoria:Polscy logicy XXI wieku Kategoria:Urodzeni w 1943