Searching for authors named "Igor Walukiewicz" – sorted by Relevance.
-
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

