David Lidell

Eine Methode, um lineare zeitliche Logik mit Vergangenheitsoperatoren in deterministische Rabin-Automaten zu übersetzen.