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.




Metadaten-Export


Zitation


+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detaillierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen