×

Found 50 Documents (Results 1–50)

Parallel model checking for the alternation free \(\mu\)-calculus. (English) Zbl 0986.68065

Margaria, Tiziana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 7th international conference, TACAS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2031, 543-558 (2001).
PDFBibTeX XMLCite

Curvature estimates for \(\mu\)-stable \(G\)-minimal surfaces. (Krümmungsabschätzungen für \(\mu\)-stabile \(G\)-Minimalflächen.) (German) Zbl 1033.53005

Cottbus: TU Cottbus, Fakultät für Mathematik, Naturwissenschaften und Informatik. iv, 56 S. (2001).
MSC:  53A10 53C42
PDFBibTeX XMLCite

Parallel reduction in type free lambda/mu-calculus. (English) Zbl 0971.68019

Fidge, Colin (ed.), Computing: The Australasian Theory Symposium, CATS 2001. Proceedings of the 7th symposium, Bond Univ., Gold Coast, Australia, January 29-30, 2001. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 42, 15 p., electronic only (2001).
MSC:  68N18
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field