The following pages link to Tudor Bălănescu (Q204593):
Displayed 33 items.
- (Q685482) (redirect page) (← links)
- On the union of 0L languages (Q685483) (← links)
- Formal correctness of security protocols. (Q869815) (← links)
- Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship (Q1187626) (← links)
- Simple reductions between \(D0L\) language and sequence equivalence problems (Q1208490) (← links)
- Software engineering 1. Abstraction and modelling. (Q1773139) (← links)
- Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (Q1773140) (← links)
- (Q3018215) (← links)
- (Q3018235) (← links)
- (Q3022296) (← links)
- (Q3070874) (← links)
- (Q3095689) (← links)
- (Q3357552) (← links)
- (Q3470113) (← links)
- (Q3495660) (← links)
- (Q3766883) (← links)
- (Q3790609) (← links)
- Three variants of apical growth filamentous systems (Q3804219) (← links)
- (Q3820033) (← links)
- (Q3826117) (← links)
- (Q3982087) (← links)
- (Q4329016) (← links)
- (Q4413816) (← links)
- (Q4520784) (← links)
- (Q4782092) (← links)
- (Q4803449) (← links)
- (Q4900302) (← links)
- (Q4900328) (← links)
- (Q4902291) (← links)
- (Q4905125) (← links)
- (Q4939185) (← links)
- TESTING USING X-MACHINE TRANSLATIONS (Q5053735) (← links)
- Generalised stream X-machines with output delimited type (Q5944215) (← links)