Anzahl der Einträge: 1. 1998
Baier, Christel ; Clarke, Edmund M.
The Algebraic Mu-Calculus and MTBDDs.
Proceedings / 5th Workshop on Logic, Language, Information and Computation. WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998
27-38
In: Proceedings / 5th Workshop on Logic, Language, Information and Computation, WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998
(1998)
Sao Paulo
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Thu May 2 03:36:09 2024 CEST automatisch erstellt.
|