Macrotransducers and applicative systems for partially continuous functions

DOI10.1023/A:1016741416419zbMATH Open1025.93001OpenAlexW1578181250MaRDI QIDQ1407110

L. P. Lisovik

Publication date: 9 September 2003

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016741416419

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

General systems (93A10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• Extensional equivalences for transition systems 👍 👎
• Using macrotransducers to specify partial continuous operators in metric spaces 👍 👎
• Encoding transition systems in sequent calculus 👍 👎
• Application of finite transducers to the specification of mappings and fractal sets 👍 👎
• Macrotransducers on labeled trees and partially continuous operators 👍 👎
• Finite transducers and rational transductions 👍 👎
• Computer Aided Verification 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Macrotransducers and applicative systems for partially continuous functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1407110)