Marcinkowski, Jerzy
Marcinkowski, Jerzy, 1965-
Jerzy Marcinkowski
VIAF ID: 29812305 ( Personal )
Permalink: http://viaf.org/viaf/29812305
Preferred Forms
- 100 0 _ ‡a Jerzy Marcinkowski
-
-
- 100 1 _ ‡a Marcinkowski, Jerzy
- 100 1 _ ‡a Marcinkowski, Jerzy
-
-
- 100 1 _ ‡a Marcinkowski, Jerzy, ‡d 1965-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings | |
CSL 2004 | |
Half-positional determinacy of infinite games | |
Modules in type theory with generative definitions | |
Półpozycyjna determinacja gier nieskończonych | |
Termination of rewriting in the calculus of constructions |