×

Found 24 Documents (Results 1–24)

100
MathJax

On periodically iterated morphisms. (English) Zbl 1401.68133

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 39, 10 p. (2014).
MSC:  68Q42 03B25 68R15
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

On some biologically motivated control devices for parallel rewriting. (English) Zbl 1330.68137

Kelemen, Jozef (ed.) et al., Computation, cooperation, and life. Essays dedicated to Gheorghe Păun on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-19999-8/pbk). Lecture Notes in Computer Science 6610, 181-190 (2011).
MSC:  68Q42 68Q45 92D20
PDF BibTeX XML Cite
Full Text: DOI

Coalgebra-to-algebra morphisms. (English) Zbl 0961.18005

Hofmann, Martin (ed.) et al., CTCS ’99. Conference on category theory and computer science, Edinburgh, GB, September 10-12, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 29, 8 p., electronic only (1999).
MSC:  18C15 18A20 18A40
PDF BibTeX XML Cite
Full Text: Link

Induction and recursion on the real line. (English) Zbl 0841.03026

Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 259-282 (1995).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification