The following pages link to (Q4398765):
Displaying 13 items.
- A concise introduction to languages and machines (Q924857) (← links)
- On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion (Q963342) (← links)
- Elements of computation theory (Q1010960) (← links)
- Lectures on computer science. Vol. 3: Computability, formal languages, specifications (Q1360183) (← links)
- A language measure for supervisory control (Q1431960) (← links)
- Uniformly most powerful test with two-dimensional minimal sufficient statistic (Q1731162) (← links)
- Introduction to languages, machines and logic. Computable languages, abstract machines and formal logic (Q2783417) (← links)
- (Q3992695) (← links)
- (Q4040439) (← links)
- (Q4441515) (← links)
- Automata and Computability (Q4562027) (← links)
- Signed real measure of regular languages for discrete-event automata (Q4668241) (← links)
- (Q5446606) (← links)