|
The Algebraic Mu-Calculus and MTBDDs
Baier, Christel
;
Clarke, Edmund M.
|
URL:
|
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=1...
|
|
Dokumenttyp:
|
Konferenzveröffentlichung
|
|
Erscheinungsjahr:
|
1998
|
|
Buchtitel:
|
Proceedings / 5th Workshop on Logic, Language, Information and Computation, WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998
|
|
Titel einer Zeitschrift oder einer Reihe:
|
Proceedings / 5th Workshop on Logic, Language, Information and Computation. WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998
|
|
Seitenbereich:
|
27-38
|
|
Veranstaltungsdatum:
|
July 28-31, 1998
|
|
Ort der Veröffentlichung:
|
Sao Paulo
|
|
Verlag:
|
Univ.
|
|
Sprache der Veröffentlichung:
|
Englisch
|
|
Einrichtung:
|
Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum -2005, Em)
|
|
Fachgebiet:
|
004 Informatik
|
 | Dieser Eintrag ist Teil der Universitätsbibliographie. |
 Suche Autoren in
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
