Igor Walukiewicz - Veröffentlichungen allgemein

(1 - 4 von 5

)

bol.com: Igor Walukiewicz artikelen kopen? Alle artikelen online | bol.com

Op zoek naar artikelen van Igor Walukiewicz? Artikelen van Igor Walukiewicz koop je eenvoudig online bij bol.com ✓ Snel in huis ✓ Veelal gratis verzonden

From Logic to Games | SpringerLink

link.springer.com

The occasion of 25th jubilee of FSTCS gives an opportunity to look a bit further back then one normally would. In this presentation we will look at some...

theses.fr – Igor Walukiewicz

www.theses.fr

Igor Walukiewicz

Completeness for the modal mu-calculus: separating the ...

www.illc.uva.nl

The problem of proving Kozen's axiom system complete for the full language remained open for about a decade, until it was finally resolved by Igor Walukiewicz. Walukiewicz' proof is notoriously difficult however, and the result has remained somewhat isolated from the standard theory of completeness for modal (fixpoint) ...

Verwandte Suchanfragen zu Igor Walukiewicz

Anca Muscholl
Christof Löding
Stefan Dziembowski

Personen
Vorname "Igor" (6775)
Name "Walukiewicz" (5)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Igor Walukiewicz

bol.com: Igor Walukiewicz artikelen kopen? Alle artikelen online | bol.com

From Logic to Games | SpringerLink

theses.fr – Igor Walukiewicz

Completeness for the modal mu-calculus: separating the ...