×

Found 82 Documents (Results 1–82)

100
MathJax

Precongruences and parametrized coinduction for logics for behavioral equivalence. (English) Zbl 1433.68261

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 23, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

On behavioral equivalence of rational representations. (English) Zbl 1198.93094

Willems, Jan C. (ed.) et al., Perspectives in mathematical system theory, control, and signal processing. A Festschrift in honor of Yutaka Yamamoto on the occasion of his 60th birthday. Invited papers of the symposium, Kyoto, Japan, March 29–31, 2010. Berlin: Springer (ISBN 978-3-540-93917-7/pbk; 978-3-540-93918-4/ebook). Lecture Notes in Control and Information Sciences 398, 239-249 (2010).
MSC:  93C05 93C15
PDF BibTeX XML Cite
Full Text: DOI

Zur Topologie auf dualen Räumen kovarianter Systeme. (On the topology of dual spaces of covariant systems). (German) Zbl 0721.46037

Paderborn: Univ. Paderborn (GHS), FB Mathematik-Informatik, Diss. 101 S. (1990).
Reviewer: U.Grimmer (Berlin)
MSC:  46L55 22D25
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Software