Anzahl der Einträge: 1. B
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 Fri May 17 03:07:28 2024 CEST automatisch erstellt.
|