Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Kaiser, £ukasz - Fachgruppe Mathematik, Rheinisch-Westfälische Technische Hochschule Aachen (RWTH)
Lukasz Kaiser Joint work with Lukasz Sta niak
Lukasz Kaiser CNRS & LIAFA
Lukasz Kaiser CNRS & LIAFA
Vince Brny and Lukasz Kaiser and Alexander Rabinovich Computing Laboratory, Oxford University
Lukasz Kaiser Joint work with Diana Fischer and Erich Grdel
Countable -automatic Structures Lukasz Kaiser
Memory for Infinitary Games Lukasz Kaiser
Lukasz Kaiser Mathematische Grundlagen der Informatik
Lukasz Kaiser Mathematische Grundlagen der Informatik
Lukasz Kaiser Mathematische Grundlagen der Informatik
H G M -C MSO Lukasz Kaiser
Lukasz Kaiser Mathematische Grundlagen der Informatik
Games with Hierarchical Information and Model Checking
Lukasz Kaiser and Tobias Ganzow Mathematische Grundlagen der Informatik
Lukasz Kaiser Mathematische Grundlagen der Informatik
Q S , M L G Lukasz Kaiser
Confluence of Right Ground Term Rewriting Systems is Decidable
Lukasz Kaiser Mathematische Grundlagen der Informatik
Game Quantification on Automatic Structures Hierarchical Model Checking Games
Lukasz Kaiser Mathematische Grundlagen der Informatik
Game reductions and FAR for infinite games
Finite State Stochastic and Continuous Time Models
Lukasz Kaiser Mathematische Grundlagen der Informatik
Lukasz Kaiser Mathematische Grundlagen der Informatik
Lukasz Kaiser Mathematische Grundlagen der Informatik
Network Design with Selfish GI Seminar, Dagstuhl 2004
Lukasz Kaiser Mathematische Grundlagen der Informatik
Lukasz Kaiser Ongoing work with help from D. Fischer, T. Ganzow, E. Abraham, U. Loup, L. Sta niak
