Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Mealy synthesis of arithmetic bitstream functions
H.H. Hansen
Formal System Analysis
Research output
:
Contribution to journal
›
Article
›
Academic
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Mealy synthesis of arithmetic bitstream functions'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Rational Function
100%
Integer
66%
Coincides
66%
Arithmetic
66%
Rational Number
66%
Minimality
33%
Output Bit
33%
Series Representation
33%
Formal Power Series
33%
Input Bit
33%
Main Result
33%
Output Stream
33%
Computer Science
Mealy Machine
100%
Function Expression
91%
Synthesis Algorithm
25%
Sequential Circuit
25%
Algebraic Specifications
16%
Rational Number
16%
Subclasses
8%
Specification Language
8%
Inductive Definition
8%
Regular Expression
8%
Input-Stream
8%
Deterministic Finite Automaton
8%
Exist Algorithm
8%
Deterministic Automaton
8%
coalgebra
8%