Searching for authors named "Igor Walukiewicz" – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
An extension of Rabin's tree theorem to tree-like structures
- …An extension of Rabin's tree theorem to tree-like structures Igor Walukiewicz Institute…
- Add To MetaCart
-
Pushdown processes: games and model checking (Extended Abstract)
- …Pushdown processes: games and model checking Igor Walukiewicz BRICS 1;2 Department of Computer…
- Add To MetaCart
-
Automata and Logic
- …Automata and Logic Igor Walukiewicz Warsaw University 1 April 2002 2 Contents 1 Introduction 2…
- Add To MetaCart
-
Model checking CTL Properties of Pushdown Systems
- …Model checking CTL Properties of Pushdown Systems Igor Walukiewicz # Institute of Informatics…
- Cited by 12 (0 self) – Add To MetaCart
-
Local Logics for Traces
- …Local logics for traces Igor Walukiewicz BRICS # Abstract A -calculus over dependence graph…
- Cited by 5 (1 self) – Add To MetaCart
-
Notes on the Propositional µ-calculus: Completeness and Related Results
- …: Completeness and Related Results Igor Walukiewicz BRICS Notes Series NS-95-1 ISSN 0909-3206 February 1995 See…
- Cited by 5 (0 self) – Add To MetaCart
-
Difficult configurations - on the complexity of LTrL (Extended Abstract)
- …Difficult configurations --- on the complexity of LTrL (extended abstract) Igor Walukiewicz…
- Cited by 2 (0 self) – Add To MetaCart
-
Difficult configurations - on the complexity of LTrL
- …Dicult congurations | on the complexity of LTrL Igor Walukiewicz Institute of Informatics…
- Cited by 21 (3 self) – Add To MetaCart
-
A Complete Deductive System for the µ-Calculus
- … Igor Walukiewicz BRICS Report Series RS-95-6 ISSN 0909-0878 January 1995 Copyright c fl 1995, BRICS…
- Cited by 8 (0 self) – Add To MetaCart
-
Completeness of Kozen's Axiomatisation of the Propositional µ-Calculus
- …Completeness of Kozen's Axiomatisation of the Propositional -Calculus Igor Walukiewicz 1 BRICS…
- Cited by 13 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
