Simulations in coalgebra (Q703522)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Simulations in coalgebra	scientific article

Statements

scholarly article

0 references

Simulations in coalgebra (English)

0 references

0 references

0 references

Theoretical Computer Science

0 references

publication date

11 January 2005

0 references

zbMATH Keywords

Coalgebra

0 references

Simulation

0 references

Relation lifting

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.tcs.2004.07.022

0 references

Final Coalgebras are Ideal Completions of Initial Algebras

0 references

0 references

The lambda calculus. Its syntax and semantics. Rev. ed.

0 references

0 references

A coalgebraic presentation of structured transition systems

0 references

0 references

A coinduction principle for recursive data types based on bisimulation

0 references

Coalgebraic theories of sequences in PVS

0 references

Structural induction and coinduction in a fibrational setting

0 references

Fixpoint semantics and simulation

0 references

0 references

0 references

The temporal logic of coalgebras via Galois algebras

0 references

0 references

Forward and backward simulations. I. Untimed Systems

0 references

A co-induction principle for recursively defined domains

0 references

0 references

Universal coalgebra: A theory of systems

0 references

The Category-Theoretic Solution of Recursive Domain Equations

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

10.1016/J.TCS.2004.07.022

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:703522

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q703522&oldid=38450570"